Skip to content

Remove needless supertrait constraints from Interner projections#108038

Merged
bors merged 1 commit into
rust-lang:masterfrom
eggyal:remove_needless_supertrait_constraints
Feb 14, 2023
Merged

Remove needless supertrait constraints from Interner projections#108038
bors merged 1 commit into
rust-lang:masterfrom
eggyal:remove_needless_supertrait_constraints

Ord entails its supertraits

9e2947a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs