Check for void/noreturn in conditionals

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

<?hh // strict

// Nonexisting field in intersection of ad-hoc shapes

function test2(bool $b): void {

  $s = shape('x' => 4);
  $t = shape('y' => 'aaa');

  if ($b) {
    $st = $s;
  } else {
    $st = $t;
  }
  Shapes::keyExists($s, 'z');
}