anything in here about exhaustiveness checking? In my mind that's half the value of pattern matching.
"inspect can be declared [[strict]] for implementation-defined exhaustiveness and usefulness checking."
"having a __: case makes any inspect statement exhaustive."
"any case that comes after a __: case would be useless"