removing default case requirement?

[Ali Çehreli]

On 3/31/23 08:20, Steven Schveighoffer wrote:

 > But we have such a thing, in the `default:` case requirement.

If we went with that change, I would probably feel the need to write 
comments like the following:

     // No default case

... which would defeat the purpose. Am I fooling myself here? Because I 
don't know why I don't feel the same need for the 'if' statement.

Ali