syntax_data: {"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"obligation.predicate.self_ty().map_bound(|ty|"}]}
source_snippet:                 obligation.predicate.self_ty().map_bound(|ty| self.infcx.shallow_resolve(ty));
context_before:             let self_ty =
context_after:             let self_ty = self.infcx.enter_forall_and_leak_universe(self_ty);