New inference: improved error message for unresolved type

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

<?hh // strict

function test(bool $b, bool $c): void {
  if ($b) {
    if ($c) {
    }
    echo $x;
    $x = 1;
  } else {
    $x = 2;
  }
}