Check for void/noreturn in conditionals

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

<?hh //strict

/**
 * Anonymous shape return type
 */

function f(): shape('x' => int) {
  return shape('x' => 4);
}

function test(
): shape(
  'y' => int,
  ...
) {
  return f();
}