Don't normalize higher-ranked assumptions if they're not used#147299
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 4, 2025
Merged
Don't normalize higher-ranked assumptions if they're not used#147299bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
