Check for void/noreturn in conditionals

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

<?hh // strict

// Nonexisting field in declared shape

type s = shape(
  'x' => int,
  ...
);

function test(s $s): void {
  Shapes::idx($s, 'y');
}