Skip to content

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
Merged

Remove some unused ordering derivations based on `DefId`#93041
bors merged 1 commit intorust-lang:masterfrom
pierwill:rm-unused-defid-ords

Commits

Commits on Jan 18, 2022