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

Draft

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
folders to create and consume ambiguous

adwinwhite
authored and
lcnr
committed
add new wrapper def

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

adwinwhite
authored and
lcnr
committed
add normalization methods to eval_ctxt

adwinwhite
authored and
lcnr
committed
make instantitation renormalize

adwinwhite
authored and
lcnr
committed
renormalize inside solver relating

adwinwhite
authored and
lcnr
committed
make folders generic over error

adwinwhite
authored and
lcnr
committed
revert and fix `opt_alias_variances`

adwinwhite
authored and
lcnr
committed
address some reviews

adwinwhite
authored and
lcnr
committed
fix rustdoc and clippy

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

adwinwhite
authored and
lcnr
committed
review
lcnr
committed
update
lcnr
committed
rarw
lcnr
committed
normalize some ambiguous aliases to infer

adwinwhite
authored and
lcnr
committed
bless tests
lcnr
committed
add some comments

adwinwhite
authored and
lcnr
committed
debugging jank
lcnr
committed
the coolest bean
lcnr
committed
fix normalization
lcnr
committed
fix bootstrap with new solver
lcnr
committed
woops, fmt and random jank
lcnr
committed
fmt and fix ambiguity
lcnr
committed
cool!
lcnr
committed
w
lcnr
committed
w
lcnr
committed
w
lcnr
committed
w
lcnr
committed
w
lcnr
committed
cool stuff
lcnr
committed
w
lcnr
committed
w
lcnr
committed
w
lcnr
committed
w
lcnr
committed
flags
lcnr
committed
fix adt_const_params normalization
lcnr
committed
coolio
lcnr
committed