{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":".map(|pred|"}]}
        .map(|pred| {
        }))
            pred.cast::<chalk_ir::ProgramClause<Interner>>(Interner).into_from_env_clause(Interner)