syntax_data: {"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":".map(|predicate|"}]}
source_snippet:                     .map(|predicate| predicate_to_obligation(predicate.with_self_ty(tcx, source)))
context_before:                     .iter()
context_after:                     .collect();