?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Disallow ... without type in function typehints
[hiphop-php.git] / hphp / hack / test / typecheck / noreturn_usage.php.exp
blob11523a795a03cb9060b165df1b494d7204ed84cd
1 File "noreturn_usage.php", line 10, characters 24-26:
2 You are using the return value of a noreturn function (Typing[4133])
3 File "noreturn_usage.php", line 3, characters 15-22:
4 A noreturn function always throws or exits