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