{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            ),
        self.register_goals(infcx.handle_opaque_type(a, b, self.span(), self.param_env())?);