You can tell the compiler to ignore unnecessary Switch statements.

Assuming that the default label of a Switch statement is never executed, if you write never_executed() in the default label of the Switch statement, the Switch branch will not occur, resulting in efficient code generation.