{"ast_node_type":"other","tokens":[{"end":120,"kind":"keyword","start":0,"text":"//"}]}
                    //    even though the normalized form may not name `expected_ty`. However, this matches the existing
                    //    This is a bit weird and means we may wind up discarding the goal due to it naming `expected_ty`
                    //    behaviour of the old solver and would be technically a breaking change to fix.