{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"});"}]}
        });
            pred.cast::<chalk_ir::ProgramClause<Interner>>(Interner).into_from_env_clause(Interner)
    let env = chalk_ir::Environment::new(Interner).add_clauses(Interner, clauses);