Add new alias kind `Ambiguous` and renormalize instantiated binders - #156453

Closed

adwinwhite wants to merge 38 commits into

rust-lang:mainfrom

adwinwhite:renormalize-binder

Commits on May 15, 2026

introduce `AliasTyKind::Ambiguous`

adwinwhite
authored and
lcnr
committed
8005608
folders to create and consume ambiguous

adwinwhite
authored and
lcnr
committed
3ad3a86
add new wrapper def

adwinwhite
authored and
lcnr
committed
a5bfa85
add method to normalize ambiguous aliases outside of next solver

adwinwhite
authored and
lcnr
committed
d493c2a
add normalization methods to eval_ctxt

adwinwhite
authored and
lcnr
committed
29edde4
make instantitation renormalize

adwinwhite
authored and
lcnr
committed
e911fbd
renormalize inside solver relating

adwinwhite
authored and
lcnr
committed
fdf44a2
make folders generic over error

adwinwhite
authored and
lcnr
committed
aaea957
revert and fix `opt_alias_variances`

adwinwhite
authored and
lcnr
committed
2e93e44
address some reviews

adwinwhite
authored and
lcnr
committed
cca7517
fix rustdoc and clippy

adwinwhite
authored and
lcnr
committed
5f0356f
create a wrapper for fully normalization after instantiation

adwinwhite
authored and
lcnr
committed
bda52cf
review
lcnr
committed
a99a408
update
lcnr
committed
8c8b131
rarw
lcnr
committed
6efa247
normalize some ambiguous aliases to infer

adwinwhite
authored and
lcnr
committed
13d4544
bless tests
lcnr
committed
e68a829
add some comments

adwinwhite
authored and
lcnr
committed
0f6dab6
debugging jank
lcnr
committed
f2f6adf
the coolest bean
lcnr
committed
8e5bae3
fix normalization
lcnr
committed
4cc3661
fix bootstrap with new solver
lcnr
committed
ddccba7
woops, fmt and random jank
lcnr
committed
9112e1a
fmt and fix ambiguity
lcnr
committed
65f4378
cool!
lcnr
committed
1a6d5ad
w
lcnr
committed
335882a
w
lcnr
committed
d39b14f
w
lcnr
committed
976f639
w
lcnr
committed
8ad4d27
w
lcnr
committed
1f33cf6
cool stuff
lcnr
committed
d570638
w
lcnr
committed
31fba6b
w
lcnr
committed
4f21dad
w
lcnr
committed
0e87d5d
w
lcnr
committed
2ca555a
flags
lcnr
committed
2716b24
fix adt_const_params normalization
lcnr
committed
00a7148
coolio
lcnr
committed
bb74aed