?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Check for void/noreturn in conditionals
[hiphop-php.git] / hphp / hack / test / typecheck / async_function_implicit_return_wrong_type2.php.exp
blobdd8d4932faae1e352b9a7f718f0aa4d0a57b1fda
1 File "async_function_implicit_return_wrong_type2.php", line 12, characters 16-16:
2 Invalid return type (Typing[4110])
3 File "async_function_implicit_return_wrong_type2.php", line 12, characters 31-33:
4 This is an int
5 File "async_function_implicit_return_wrong_type2.php", line 12, characters 16-16:
6 It is incompatible with void because this async function implicitly returns Awaitable<void>