Disallow ... without type in function typehints

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

<?hh //strict

/**
 * Generic type remains generic if it was not modified.
 */
function f<Tv as KeyedContainer<string, mixed>>(Tv $a): Tv {
  $a['a'];
  return $a;
}

function test(array<string, string> $a): array<string, string> {
  return f($a);
}