Check for void/noreturn in conditionals

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

<?hh

async function foo(): Awaitable<string> {
  return 'hi test';
}

async function f(): AsyncGenerator<int, string, void> {
  $x = await foo();
  yield 42 => $x;
}

async function g(): Awaitable<void> {
  foreach (f() as $x => $y) {
    hh_show($x);
    hh_show($y);
  }
}