?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Check for void/noreturn in conditionals
[hiphop-php.git] / hphp / hack / test / typecheck / noreturn_usage_3.php.exp
blob2258a2ec052f92d82e44a71c95c1440d0f4281ce
1 File "noreturn_usage_3.php", line 8, characters 10-12:
2 You are using the return value of a noreturn function (Typing[4133])
3 File "noreturn_usage_3.php", line 3, characters 15-22:
4 A noreturn function always throws or exits