Skip to content

Remove PartialOrd, Ord from LocalDefId#90408

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

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

Commits

Commits on Dec 22, 2021