{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"sorted_vtable.dedup();"}]}
        sorted_vtable.dedup();
        sorted_vtable.sort_by(|a, b| a.skip_binder().stable_cmp(*self.tcx, &b.skip_binder()));
        sorted_expected.sort_by(|a, b| a.skip_binder().stable_cmp(*self.tcx, &b.skip_binder()));