I think these things are the same feature. So what if: total-switch (x) { ... } // or switch-totalmeant "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.
