Check for void/noreturn in conditionals

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

<?hh // strict

coroutine function f((function(): int) $s): int {
  // not ok - argument to suspend is not a call to coroutine
  $a = suspend $s();
  return 1;
}