?  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 / typedef_as1.php.exp
blob2f1ed08d747322f387f4d8d4b09ada21fc022d5c
1 File "typedef_as1.php", line 12, characters 9-12:
2 Invalid constraint on `newtype` (Typing[4332])
3 File "typedef_as1.php", line 12, characters 17-19:
4 Expected `int`
5 File "typedef_as1.php", line 12, characters 23-26:
6 But got `bool`