Check for void/noreturn in conditionals

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

<?hh //strict

/**
 * Assignment to array makes it unsafe to return it as original generic type
 */
function f<Tv as array<mixed, mixed>>(Tv $a): Tv {
  $a['a'] = 4;
  return $a;
}

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