{"ast_node_type":"variable","tokens":[{"end":77,"kind":"keyword","start":0,"text":"let"}]}
    let u_canonical = chalk_ir::UCanonical { canonical: goal, universes: 1 };
    // relevant for our use cases?)
    solve(db, krate, block, &u_canonical)