Remove some unused ordering derivations based on `DefId`#93041

Merged

bors merged 1 commit intorust-lang:masterfrom pierwill:rm-unused-defid-ords

Jan 19, 2022

+7-17

Commits on Jan 18, 2022

Remove some unused Ord derivations based on DefId
pierwill
committed