Check for void/noreturn in conditionals
[hiphop-php.git] / hphp / hack / test / typecheck / switch_fallthrough4.php.exp
blobcb9b05c1a8efe564a5a8ab67dedc8c9612971c09
1 File "switch_fallthrough4.php", line 15, characters 11-11:
2 This switch has a case that implicitly falls through and is not annotated with // FALLTHROUGH (NastCheck[3005])
3 File "switch_fallthrough4.php", line 18, characters 10-10:
4 This case implicitly falls through