Re: switch()

[Walter Bright]

On 2/17/2014 6:38 PM, Manu wrote:

I think 'final switch' should do that for you, and by typing final, you've
intentionally covered the case. There's no room for mistake then.

That's why a default case is not allowed for a 'final' switch.