Skip to content

Stop sorting via DefIds in region resolution#122824

Merged
bors merged 1 commit intorust-lang:masterfrom
oli-obk:no_ord_def_id2
Mar 22, 2024
Merged

Stop sorting via `DefId`s in region resolution#122824
bors merged 1 commit intorust-lang:masterfrom
oli-obk:no_ord_def_id2

Commits

Commits on Mar 21, 2024