Check for void/noreturn in conditionals

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

<?hh

function f(int $foo, ...$args) {}

function test() {
  $args = 'string';
  f(...$args); // should be error
}