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