hphp/hack/test/typecheck/lambda/lambda_bad_pos.php

   1 <?hh
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3
   4 class C {}
   5
   6 function myflip<Tk, Tv as arraykey>(
   7   KeyedTraversable<Tk, Tv> $traversable,
   8 ): dict<Tv, Tk> {
   9   $result = dict[];
  10   foreach ($traversable as $key => $value) {
  11     $result[$value] = $key;
  12   }
  13   return $result;
  14 }
  15 function mymap<Tk as arraykey, Tv1, Tv2>(
  16   KeyedTraversable<Tk, Tv1> $traversable,
  17   (function(Tv1): Tv2) $value_func,
  18 ): dict<Tk, Tv2> {
  19   $result = dict[];
  20   foreach ($traversable as $key => $value) {
  21     $result[$key] = $value_func($value);
  22   }
  23   return $result;
  24 }
  25 function test_it(vec<C> $p, (function(C): C) $f): void {
  26   $f = myflip(mymap($p, ($p) ==> $p));
  27 }