hphp/hack/test/typecheck/aktuple/array_append.php

   1 <?hh //strict
   2
   3 /* For now, we don't grow tuple-like arrays - appending to them just downgrades
   4  * them to vector-like arrays */
   5
   6 enum E : int { A = 2; };
   7
   8 function expectArrayAK(array<arraykey> $a):void { }
   9
  10 function test(): void {
  11   $a = varray[4, 'aaa'];
  12   $a[] = E::A;
  13   expectArrayAK($a);
  14
  15   $a = Vector { varray[4, 'aaa'] };
  16   $a[0][] = E::A;
  17 }