syntax_data: {"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:             let mut selcx = traits::SelectionContext::new(infcx);
context_before:             assert!(!obligation.has_escaping_bound_vars());
context_after:             // Don't normalize the whole obligation, the param env is either