Skip to content

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
Merged

change equate for binders to not rely on subtyping#118247
bors merged 3 commits into
rust-lang:masterfrom
spastorino:type-equality-subtyping

Change condition in binders to one that is more readable

4a2e3bc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs