?  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_explicit_null_return_wrong_type.php.exp
blobd28e6245e27afbf33164b811d1dc24a80e98f121
1 File "async_function_explicit_null_return_wrong_type.php", line 13, characters 3-8:
2 Invalid return type (Typing[4110])
3 File "async_function_explicit_null_return_wrong_type.php", line 12, characters 23-26:
4 This is void
5 File "async_function_explicit_null_return_wrong_type.php", line 13, characters 3-8:
6 It is incompatible with an object of type Awaitable