syntax_data: {"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":".map(|term|"}]}
source_snippet:                 .map(|term| {
context_before:                 .filter(|term| !term.has_escaping_bound_vars())
context_after:                     traits::Obligation::with_depth(