[Pitch] Exhaustive pattern matching for non-open classes

Since we now make the distinction between open and non-open classes, it seems we should be able to make non-open class hierarchies exhaustively matchable. This would be a nice win for compile-time checks in the face of adding a new subclass, without any added syntax.

A previous topic discussion when classes were open by default: [Pitch] Exhaustive pattern matching for protocols and classes

6 Likes
Terms of Service

Privacy Policy

Cookie Policy