Check for void/noreturn in conditionals

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

<?hh // strict

function v(): void {}

function test(): void {
  for (; v(); ) {
  }
}