I agree with the proposal in general. I don’t like the current syntax.
I prefer default unknown:
or default(unknown):
.
Also another possibility: What about something like @warnFutureCases
(or @silentFutureCases
) before switch statement and still use default?