[External] : Re: Relaxed assignment conversions for sealed types

[Brian Goetz]

>     I think these things are the same feature.  So what if:
>
>         total-switch (x) { ... }  // or switch-total
>
>     meant "I assert this switch is total, please error if it is not." 
>
>
> Just from a pure syntax POV, i wonder if
>   switch(total x) { ... }
> is not more in line with the other usages.
>
> It's just a trick but it looks more like a keyword that a special switch.

Yep, a possibility.  In the other cases total modifies a type, not an 
expression, which is a little bit of a stretch here, but probably workable.