{"ast_node_type":"variable","tokens":[{"end":61,"kind":"keyword","start":0,"text":"let"}]}
    let canonicalized = table.canonicalize(Interner, in_env);
    let mut table = chalk_solve::infer::InferenceTable::<Interner>::new();
    let solution = db.trait_solve(krate, None, canonicalized.quantified);