Remove array(...) in typecheck tests that result in test differences

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

<?hh //strict

/**
 * Test if the inner value type of AKvarray is correctly inferred
 */
function test(): void {
  $a = varray[];
  $a[] = 'aaa';
  // should error, because it's an array (used like a vector) containing strings
  f($a);
}

function f(array<int> $_): void {}