[mseepgood]

> Exhaustive switch seems

This would only make sense on an enum type, which would be a completely new thing, so it can be introduced without breaking backward compatibility. Constants and switch on non-enum values would stay, because they are useful independent of enum types.

[Gwypaas]

Also makes sense on numbers and other patterns where you can logically enforce exhaustiveness.