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