change equate for binders to not rely on subtyping - #118247

Merged

bors merged 3 commits into

rust-lang:masterfrom

spastorino:type-equality-subtyping

Feb 29, 2024

Commits on Feb 29, 2024

Make infer higher ranked equate use bidirectional subtyping in invariant context
spastorino
committed
23ae3db
Make nll higher ranked equate use bidirectional subtyping in invariant context
spastorino
committed
0479287
Change condition in binders to one that is more readable
spastorino
committed
4a2e3bc