No error on use of `unsafe_cast`
[hiphop-php.git] / hphp / hack / test / typecheck / unsafe_cast / ignored / non_string_literal_ignored.php.like_types.exp
blob533a1ae092d01c2ca8463b0dfc78f46301c6ebfa
1 File "non_string_literal_ignored.php", line 3, characters 10-10:
2 Invalid return type (Typing[4336])
3 File "non_string_literal_ignored.php", line 3, characters 15-17:
4 Expected `int`
5 File "non_string_literal_ignored.php", line 3, characters 10-10:
6 But got `void` because this function does not always return a value
7 File "non_string_literal_ignored.php", line 5, characters 40-43:
8 Invalid argument (Typing[4110])
9 File "soundness.hhi", line 7, characters 72-96:
10 Expected `HH\FormatString<nothing>`
11 File "non_string_literal_ignored.php", line 4, characters 10-16:
12 But got `string`
13 File "non_string_literal_ignored.php", line 5, characters 40-43:
14 This argument must be a literal format string (Typing[4027])