Skip to content

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

Closed
ShoyuVanilla wants to merge 2 commits into
rust-lang:mainfrom
ShoyuVanilla:trivialize-normalizes-to
Closed

-Znext-solver Remove special handling of NormalizesTo goal#154433
ShoyuVanilla wants to merge 2 commits into
rust-lang:mainfrom
ShoyuVanilla:trivialize-normalizes-to

Use `NormalizesTo` instead of `AliasRelate` for normalization

eea8bac
Select commit
Loading
Failed to load commit list.
rust-bors / Bors try build succeeded Apr 2, 2026 in 2h 8m 14s

Bors try build

View more details on rust-bors