New inference: improved error message for unresolved type

[hiphop-php.git] / hphp / hack / test / typecheck / async_anon_function_explicit_return_wrong_type.php.exp

File "async_anon_function_explicit_return_wrong_type.php", line 16, characters 10-13:
Invalid return type (Typing[4110])
File "async_anon_function_explicit_return_wrong_type.php", line 12, characters 17-19:
This is an int
File "async_anon_function_explicit_return_wrong_type.php", line 13, characters 8-43:
It is incompatible with an object of type Awaitable<int> (result of 'async function')