Every switch shall have an otherwise section, even if it does not contain executable code.
Rationale
By including an otherwise section, no execution paths are overlooked. Additionally, code coverage can be accurately reported because without otherwise, it is unclear whether it happens that none of the cases occur.