5.12 Switch Statements

In a ‘switch’ statement, each ‘case’ expression must be of a type that is assignable to or from (section 3.11.4) the type of the ‘switch’ expression.