No need to re-sort existential preds in relate impl#133362
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 27, 2024
Merged
No need to re-sort existential preds in relate impl#133362bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom