Stop using <DefId as Ord>
in various diagnostic situations#122820
Merged
bors merged 3 commits intorust-lang:master from oli-obk:no_ord_def_idMar 22, 2024
+197-161
<DefId as Ord>
in various diagnostic situations#122820