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:
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:
13 File
"non_string_literal_ignored.php", line 5, characters 40-43:
14 This
argument must be a literal format string
(Typing
[4027])