syntax_data: {"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:                     let project_obligation = obligation.with(self.tcx(), data);
context_before:                     let data = bound_predicate.rebind(data);
context_after:                     match project::poly_project_and_unify_term(self, &project_obligation) {