{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":")"}]}
    ) -> chalk_ir::ProgramClauses<Interner> {
        environment: &chalk_ir::Environment<Interner>,
        self.db.program_clauses_for_chalk_env(self.krate, self.block, environment.clone())