[Pitch] Exhaustive pattern matching for protocols and classes

[Patrick_Pijnappel]

Moved to a new topic here to avoid further notifications to anyone who might no longer be interested: [Pitch] Exhaustive pattern matching for non-open classes