speaking in terms of the language construct itself, i'm tempted to argue that the compiler implementation isn't even relevant, leaving two points
- syntactically, the case labels have no logical order to them and exist as equals on the exact same statement, so there's nothing to fall through, even though the code can be trivially modified to exhibit true fallthrough
- in terms of programmer intention, there's no way the behavior would be "tricky", i.e. it's reasonable to assume there's a missing break if the programmer doesn't know what they're doing; it's effectively a single case label ma…