{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"sorted_vtable.sort_by(|a,"}]}
        sorted_vtable.sort_by(|a, b| a.skip_binder().stable_cmp(*self.tcx, &b.skip_binder()));
        // `skip_binder` here is okay because `stable_cmp` doesn't look at binders
        sorted_vtable.dedup();