{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"//"}]}
                    //
                    //    they will wind up present in `?sig` even though they are non-rigid.
                    //    This is a bit weird and means we may wind up discarding the goal due to it naming `expected_ty`