syntax_data: {"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":".map(|((pred,"}]}
source_snippet:             .map(|((pred, span), origin_def_id)| {
context_before:         iter::zip(predicates, origins.into_iter().rev())
context_after:                 let code = ObligationCauseCode::WhereClause(origin_def_id, span);