Skip to content

Don't normalize higher-ranked assumptions if they're not used#147299

Merged
bors merged 1 commit into
rust-lang:masterfrom
compiler-errors:hr-norm
Oct 4, 2025
Merged

Don't normalize higher-ranked assumptions if they're not used#147299
bors merged 1 commit into
rust-lang:masterfrom
compiler-errors:hr-norm

Don't normalize higher-ranked assumptions if they're not used

e3f1046
Select commit
Loading
Failed to load commit list.
Sign in for the full log view