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