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