Migrate more things in the new solver to specific DefId
s#146111
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 8, 2025
Merged
Migrate more things in the new solver to specific `DefId`s#146111bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom