syntax_data: {"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":".flat_map(|cond|"}]}
source_snippet:                     .flat_map(|cond| flatten_answer_tree(tcx, obligation, cond, assume))
context_before:                     .into_iter()
context_after:                     .collect(),