syntax_data: {"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:                                 let proj = p.tcx().erase_regions(proj);
context_before:                                 // here to compare the types modulo regions below.
context_after:                                 let super_proj = p.tcx().erase_regions(super_proj);