change equate for binders to not rely on subtyping#118247

Merged

bors merged 3 commits intorust-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
Make nll higher ranked equate use bidirectional subtyping in invariant context
spastorino
committed
Change condition in binders to one that is more readable
spastorino
committed