?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
No error on use of `unsafe_cast`
[hiphop-php.git] / hphp / hack / test / typecheck / noreturn_typehint_basic_bad2.php.exp
blob82e48900ef2d05066eda78d795f34834377a18e3
1 File "noreturn_typehint_basic_bad2.php", line 4, characters 10-11:
2 Invalid return type (Typing[4110])
3 File "noreturn_typehint_basic_bad2.php", line 3, characters 22-29:
4 Expected `noreturn`
5 File "noreturn_typehint_basic_bad2.php", line 4, characters 10-11:
6 But got `int`