?  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 / subtype_funs2.php.exp
blob8b70230d3796badf7d2393b5f640787d63a34cce
1 File "subtype_funs2.php", line 15, characters 5-17:
2 Invalid assignment (Typing[4110])
3 File "subtype_funs2.php", line 13, characters 24-26:
4 Expected `int`
5 File "subtype_funs2.php", line 14, characters 44-48:
6 But got `mixed`