{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":")"}]}
) -> chalk_ir::ProgramClauses<Interner> {
    environment: chalk_ir::Environment<Interner>,
    chalk_solve::program_clauses_for_env(&ChalkContext { db, krate, block }, &environment)