rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
95 stars 19 forks source link

Tracking issue for subtyping refactor #70

Open jackh726 opened 1 year ago

lcnr commented 11 months ago

update: there's no work going on here. discussed the long term goal in the types team meetup, but are currently not working on it.