hphp/hack/test/typecheck/array_map_filter/array_map7.php

   1 <?hh // partial
   2
   3 function f(string $_): bool {
   4   return true;
   5 }
   6
   7 function g(string $_, string $__): bool {
   8   return true;
   9 }
  10
  11 function test(
  12   varray<string> $vector_array,
  13   darray<X, string> $hashtable_array,
  14   $untyped,
  15   KeyedContainer<arraykey, string> $keyed_container,
  16   Container<string> $container,
  17   Vector<string> $vector,
  18 ) {
  19   $f = fun('f');
  20   $g = fun('g');
  21   $intersection = true ? $vector_array : $keyed_container;
  22
  23   take_bool_array(array_map($f, $vector_array));
  24   take_X_bool_array(array_map($f, $hashtable_array));
  25   hh_show(array_map($f, $untyped));
  26   take_arraykey_bool_array(array_map($f, $container));
  27   take_mixed_bool_array(array_map($f, $intersection));
  28   take_bool_array(array_map($f, $vector));
  29   take_bool_array(array_map($g, $intersection, $vector_array));
  30 }
  31
  32 function take_bool_array(varray<bool> $_): void {}
  33 function take_X_bool_array(darray<X, bool> $_): void {}
  34 function take_arraykey_bool_array(darray<arraykey, bool> $_): void {}
  35 function take_mixed_bool_array(darray<mixed, bool> $_): void {}
  36
  37 type X = arraykey;