?  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 / null_type.php.exp
blob6d17e7ee63557de2e6fdded95b953d42142fd956
1 File "null_type.php", line 15, characters 8-9:
2 Typing error (Typing[4110])
3 File "null_type.php", line 15, characters 8-14:
4 Expected `num` because this is used in an arithmetic operation
5 File "null_type.php", line 12, characters 14-17:
6 But got `?int`