hphp/hack/test/typecheck/fun_generics_bad.php

   1 <?hh // strict
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3
   4 function cannot_be_nullable(int $val): int {
   5   return $val;
   6 }
   7
   8 function special_array_map<T1, T2>(
   9   (function(T1): T2) $f,
  10   array<int, T1> $a,
  11 ): array<int, T2> {
  12   // UNSAFE
  13 }
  14
  15 function demo(): bool {
  16   $array = array();
  17
  18   for ($k = 0; $k < 10; $k++) {
  19     $array[$k] = null;
  20   }
  21
  22   $fun1 = fun('cannot_be_nullable');
  23
  24   $val1 = special_array_map($fun1, $array);
  25
  26   return (bool)$val1;
  27 }
  28
  29 /* HH_FIXME[1002] Just a demo */
  30 demo();