{"ast_node_type":"variable","tokens":[{"end":63,"kind":"keyword","start":0,"text":"let"}]}
            let clause: ty::Clause<'_> = trait_ref.upcast(tcx);
        |trait_ref| {
            tcx.mk_clauses_from_iter(util::elaborate(tcx, [clause]).filter(|clause| {