syntax_data: {"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"self.infcx.enter_forall_and_leak_universe(obligation.predicate);"}]}
source_snippet:             self.infcx.enter_forall_and_leak_universe(obligation.predicate);
context_before:         let placeholder_obligation =
context_after:         let placeholder_obligation_trait_ref = placeholder_obligation.trait_ref;