Skip to content

Remove PartialOrd, Ord from LocalDefId#90408

Merged
bors merged 3 commits into
rust-lang:masterfrom
pierwill:untrack-localdefid-90317
Dec 23, 2021
Merged

Remove PartialOrd, Ord from LocalDefId#90408
bors merged 3 commits into
rust-lang:masterfrom
pierwill:untrack-localdefid-90317

rustc `VecGraph`: require the index type to implement Ord

e6ff0ba
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs