syntax_data: {"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"self.infcx"}]}
source_snippet:                                     self.infcx
context_before:                                 && self.infcx.probe(|_| {
context_after:                                         .enter_forall(hr_target_projection, |target_projection| {