assertUnreachable
Asserts that a case is unreachable in `switch` statements (and really any flow control construct)