Remove `PartialOrd`, `Ord` from `AdtDefData`#98946

Closed

pierwill wants to merge 1 commit intorust-lang:masterfrom pierwill:adtdef-noord

-14

Commits on Jul 5, 2022

Remove PartialOrd, Ord from AdtDefData
pierwill
committed