`-Znext-solver` Remove special handling of `NormalizesTo` goal - #154433

Closed

ShoyuVanilla wants to merge 2 commits into

rust-lang:mainfrom

ShoyuVanilla:trivialize-normalizes-to

Commits on Apr 1, 2026

`-Znext-solver` Remove special handling of `NormalizesTo` goal
ShoyuVanilla
committed
39602ee

Commits on Apr 2, 2026

Use `NormalizesTo` instead of `AliasRelate` for normalization
ShoyuVanilla
committed
eea8bac