removing default case requirement?

[bachmeier]

On Friday, 31 March 2023 at 15:20:41 UTC, Steven Schveighoffer 
wrote:

> If we wanted to relax this requirement it's actually an easy 
> change -- no currently-compiling code will break.
>
> Why not? How much does this rule help you, vs. annoy you?

I would prefer to make the change, but it's not a major point for 
me, so I wouldn't fight too hard either way. Offsetting some of 
this is that I find the code more readable this way.