{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"solve(db,"}]}
    solve(db, krate, block, &u_canonical)
    let u_canonical = chalk_ir::UCanonical { canonical: goal, universes: 1 };
}