No error on use of `unsafe_cast`
[hiphop-php.git] / hphp / hack / test / typecheck / printf.php.exp
blobd5dec8e02bfa33add1de273e11df303205692d82
1 File "printf.php", line 24, characters 10-10:
2 Was expecting a return type hint (Typing[4030])
3 File "printf.php", line 27, characters 16-18:
4 Invalid argument (Typing[4110])
5 File "printf.php", line 27, characters 5-13:
6 Expected `string` because of the `%s` format specifier
7 File "printf.php", line 27, characters 16-18:
8 But got `float`