{"ast_node_type":"variable","tokens":[{"end":76,"kind":"keyword","start":0,"text":"let"}]}
        let existential_predicates = tcx.mk_poly_existential_predicates(&v);
        v.sort_by(|a, b| a.skip_binder().stable_cmp(tcx, &b.skip_binder()));