Binder instantiation returns `Unnormalized` - #156221

Closed

adwinwhite wants to merge 7 commits into

rust-lang:mainfrom

adwinwhite:binder-instantitation

Commits on May 6, 2026

convert `replace_bound_vars_uncached`
adwinwhite
committed
aa1c8f4
convert `instantiate_binder_with_fresh_vars`
adwinwhite
committed
d7064cc
convert `instantiate_binder_with_infer`
adwinwhite
committed
b512944
convert `instantiate_binder_with_existentials`
adwinwhite
committed
d113939
convert `enter_forall_leaked`
adwinwhite
committed
2b2cfac
convert `enter_forall`
adwinwhite
committed
a227271
convert use sites of `enter_forall`
adwinwhite
committed
c2ef185