Untyped variadic function types should not be permitted in strict mode

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

<?hh // strict

function m(): Map<string, int> {
  return Map {};
}

function f(): int {
  $m = m();
  // XXX this ideally would fail, should Indexish be covariant? Task #5343698
  $x = idx($m, 0, 0);
  return $x;
}