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

   1 ERROR: File "async_function_untyped5.php", line 4, characters 25-25:
   2 Was expecting a return type hint (Typing[4030])
   3 ERROR: File "async_function_untyped5.php", line 8, characters 19-19:
   4 The method `f` is not compatible with the overridden method (Typing[4341])
   5   File "async_function_untyped5.php", line 8, characters 19-19:
   6   Method `f` has type `(function(): int)` in `C2`
   7   File "async_function_untyped5.php", line 4, characters 25-25:
   8   But it has type `(async function(): Awaitable<_>)` in parent `C1`
   9   File "async_function_untyped5.php", line 8, characters 19-19:
  10   Type `(function(): int)` is not a subtype of `(async function(): Awaitable<_>)`
  11   File "async_function_untyped5.php", line 4, characters 25-25:
  12   Expected `Awaitable<_>` (result of an `async` function)
  13   File "async_function_untyped5.php", line 8, characters 24-26:
  14   But got `int`
  15 ERROR: File "async_function_untyped5.php", line 8, characters 19-19:
  16 The method `f` is not compatible with the overridden method (Typing[4341])
  17   File "async_function_untyped5.php", line 8, characters 19-19:
  18   You cannot override this method with a non-async method
  19   File "async_function_untyped5.php", line 4, characters 25-25:
  20   It was declared as async