?  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_as5.php.exp
blob846fd632758505c56178bb52027c7999046946e6
1 File "typedef_as5.php--file1.php", line 15, characters 9-19:
2 Invalid constraint on `newtype` (Typing[4332])
3 File "typedef_as5.php--file1.php", line 15, characters 24-24:
4 Expected `Y`
5 File "typedef_as5.php--file1.php", line 15, characters 28-31:
6 But got `Duck`
7 File "typedef_as5.php--file2.php", line 4, characters 10-11:
8 Invalid return type (Typing[4110])
9 File "typedef_as5.php--file2.php", line 3, characters 32-35:
10 Expected `Duck`
11 File "typedef_as5.php--file1.php", line 15, characters 24-24:
12 But got `Y`