hphp/hack/test/typecheck/as_expression/vec.php

   1 <?hh
   2
   3 function f(mixed $x): void {
   4   $x as vec;
   5   expect_vec1($x); // ok
   6   expect_vec2($x); // error
   7 }
   8
   9 function g(mixed $x): void {
  10   $x as vec<_>;
  11   expect_vec1($x); // ok
  12   expect_vec2($x); // error
  13 }
  14
  15 function h(Container<string> $x): void {
  16   $x as vec<_>;
  17   expect_vec1($x); // ok
  18   expect_vec2($x); // ok
  19 }
  20
  21 function expect_vec1(vec<mixed> $vec): void {}
  22 function expect_vec2(vec<string> $vec): void {}