There are plenty of cases where you need to handle just a few options out of all the possibilities and ignore the rest. We decided against requiring you to write something like else -> /* do nothing */
in such statements.
We’ve discussed the possibility of adding explicit syntax for “exhaustive when” but didn’t see any option that we liked.