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