hphp/hack/test/typecheck/trait_require_param2.php.exp

   1 File "trait_require_param2.php", line 5, characters 22-24:
   2 Invalid return type (Typing[4336])
   3   File "trait_require_param2.php", line 5, characters 29-29:
   4   Expected `T`
   5   File "trait_require_param2.php", line 5, characters 22-24:
   6   But got `void` because this function does not always return a value
   7 File "trait_require_param2.php", line 14, characters 17-20:
   8 Invalid argument (Typing[4110])
   9   File "trait_require_param2.php", line 18, characters 22-24:
  10   Expected `int`
  11   File "trait_require_param2.php", line 10, characters 23-27:
  12   But got `float`
  13   File "trait_require_param2.php", line 5, characters 29-29:
  14     via this generic `T`