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