{"ast_node_type":"variable","tokens":[{"end":96,"kind":"keyword","start":0,"text":"let"}]}
            let a_pred = self.tcx.normalize_erasing_late_bound_regions(self.typing_env, a_pred);
        for (a_pred, b_pred) in std::iter::zip(sorted_vtable, sorted_expected) {
            let b_pred = self.tcx.normalize_erasing_late_bound_regions(self.typing_env, b_pred);