As per our discussion with Phil. Our definition of switch is already sufficiently far from C (for example we don't support Duff's device) that adding this requirement should be reasonable.
*** Bug 188879 has been marked as a duplicate of this bug. ***
Migrated to https://github.com/gpuweb/WHLSL/issues/111