Closed
Description
Implementations of switch currently throw an exception if a case (except the last one) reaches the end of the case body, i.e., where someone might mistakenly expect a fallthrough.
The specification doesn't say that this should happen, but instead just lets execution continue after the switch.
There doesn't seem to be consensus on which behavior is correct.