Remove some unused ordering derivations based on DefId#93041

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

pierwill:rm-unused-defid-ordspierwill/rust:rm-unused-defid-ordsCopy head branch name to clipboard