Is this needed? If it's not supposed to happen, you could use `assert(false)`, or simply leave out the default case (`MatchError` or `AssertionError` are not that different).