hphp/hack/test/typecheck/unsafe_cast/non_string_literal.php.exp

   1 ERROR: File "non_string_literal.php", line 5, characters 40-43:
   2 This argument must be a literal format string (Typing[4027])
   3 ERROR: File "non_string_literal.php", line 5, characters 40-43:
   4 Invalid argument (Typing[4110])
   5   File "soundness.hhi", line 33, characters 4-28:
   6   Expected `HH\FormatString<nothing>`
   7   File "non_string_literal.php", line 4, characters 10-16:
   8   But got `string`
   9 ERROR: File "non_string_literal.php", line 3, characters 10-10:
  10 Invalid return type (Typing[4336])
  11   File "non_string_literal.php", line 3, characters 15-17:
  12   Expected `int`
  13   File "non_string_literal.php", line 3, characters 10-10:
  14   But got `void` because this function does not always return a value