syntax_data: {"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"stack.obligation.predicate.skip_binder().trait_ref,"}]}
source_snippet:                             stack.obligation.predicate.skip_binder().trait_ref,
context_before:                         let trait_ref = self.infcx.resolve_vars_if_possible(
context_after:                         );