[perf] Rigid alias out of `AliasTy`/`Unevaluated` - #157918

Closed

lcnr wants to merge 15 commits into

rust-lang:mainfrom

Commits on Jun 15, 2026

add rigidness marker to `AliasTy/UnevaluatedConst`
adwinwhite
committed
06abdce
normalization produces rigid aliases
adwinwhite
committed
f225576
do not renormalize rigid aliases
adwinwhite
committed
9f6297f
a folder to mark as non-rigid
adwinwhite
committed
823f847
EarlyBinder construction marks value as non-rigid
adwinwhite
committed
659f2b2
fix rigidness discrepancy in relating
adwinwhite
committed
8418f9a
normalize before adding goal
adwinwhite
committed
dcc70f2
`set_aliases_to_non_rigid` returns `Unnormalized`
adwinwhite
committed
8fe7c68
`ecx.normalize` takes `Unnormalized`
adwinwhite
committed
67d6a4e
add a test
adwinwhite
committed
a9fdcce
bless tests
adwinwhite
committed
e1c9399
fix assumptions-on-binders
adwinwhite
committed
5145758
EarlyBinder construction marks value as non-rigid

adwinwhite
authored and
lcnr
committed
2b6167d
assumption-on-binders ICE

adwinwhite
authored and
lcnr
committed
572b6e8
cool beans
lcnr
committed
f27c8ad