?  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 / variadic_args3.php.exp
blob74af8e07d1d1c9f7ffc608cac68832680cbd9970
1 File "variadic_args3.php", line 12, characters 19-20:
2 Invalid argument (Typing[4110])
3 File "variadic_args3.php", line 5, characters 22-26:
4 Expected `string` (variadic argument)
5 File "variadic_args3.php", line 12, characters 19-20:
6 But got `int`