New inference: improved error message for unresolved type

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

<?hh // strict

function foo(int $i): void {}

function bar(bool $b): int {
  if ($b) {
    foo($y = 1);
  } else {
    foo($x = 2);
  }
  return $x;
}