search

rust-lang / keyword-generics-initiative

Public repository for the Rust keyword generics initiative
https://rust-lang.github.io/keyword-generics-initiative/
Other
96 stars 11 forks source link

Add a note on subtyping #55

Closed yoshuawuyts closed 7 months ago

yoshuawuyts commented 7 months ago

Adds a short note, acknowledging that pattern types will likely not sub-type.

clarfonthey commented 7 months ago

Also probably worth noting that they will support as-casting, though. So, it's more like subtyping but with invariant signatures.

yoshuawuyts commented 7 months ago

@clarfonthey oh yeah, fair enough - I do think that's a pretty nuanced point, but probably still worth clarifying. Thanks!