Check for void/noreturn in conditionals

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

<?hh // strict

function n(): noreturn {
  throw new Exception('nope');
}

function test(): void {
  while (n()) {
  }
}