Disallow ... without type in function typehints

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

<?hh // partial

abstract class C {
  abstract public function y(): int;
}

function opt_c(): ?C {
  return null;
}

function f() {
  $c = opt_c();
  hh_show($c);
  invariant($c is C, 'format: %s', (string)($c?->y()));
  hh_show($c);
}