Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #133362 - compiler-errors:existential-preds, r=<try>
No need to re-sort existential preds in relate impl We already assert that these predicates are in the right ordering in `mk_poly_existential_predicates`. r? types
- Loading branch information