?  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 / shape_idx_newtype.php.exp
blob10c40ef833041d4d6b922e863f7dfcb2635d921d
1 File "shape_idx_newtype.php--use.php", line 4, characters 10-32:
2 Invalid return type (Typing[4110])
3 File "shape_idx_newtype.php--use.php", line 3, characters 22-24:
4 Expected `int`
5 File "shape_idx_newtype.php--def.php", line 4, characters 27-30:
6 But got `?int`