Check for void/noreturn in conditionals

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

<?hh

function f(): Generator<int, int, void> {
  while (true) {
    yield 1;
    return;
  }
}