hphp/hack/test/typecheck/akempty_promotion_8.php

   1 <?hh //strict
   2
   3 /**
   4  * Test confilicting AKempty promotions - in one branch it's promoted to
   5  * AKvarray, in another to AKdarray. Should be unresolved of those two afterwards.
   6  */
   7 function test(bool $b): void {
   8   $a = varray[];
   9   if ($b) {
  10     $a[] = 'aaa';
  11   } else {
  12     $a[0] = 'aaa';
  13   }
  14   // error - one of the branches result in a map-like array
  15   f($a);
  16 }
  17
  18 function f(array<string> $_): void {}