syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":".filter(|term|"}]}
source_snippet:                 .filter(|term| !term.has_escaping_bound_vars())
context_before:                 .filter_map(|arg| arg.as_term())
context_after:                 .map(|term| {