formality subtyping rules

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

Closed nikomatsakis closed 2 years ago

nikomatsakis commented 2 years ago

Formality includes a new formulation of the Rust subtyping rules. Let's talk about them!

These rules cover

Note that the rules don't really exist yet

jackh726 commented 2 years ago

Scheduled for April 22nd. @nikomatsakis will prep a doc.

nikomatsakis commented 2 years ago

Held our first meeting, but it didn't cover the entirety, only the way "simplesub" works