hphp/test/slow/reified_generics/memoize_static_method.php.disabled

   1 <?hh
   2
   3 echo "multiple argument\n";
   4 class C {
   5   <<__Memoize>>
   6   public static function f<reify Ta, Tb, reify Tc>($x, $y, $z) {
   7     var_dump("hi");
   8   }
   9 }
  10
  11 C::f<int, string, bool>(1,2,3); // print
  12 C::f<int, string, bool>(1,2,3); // nope
  13 C::f<string, string, bool>(1,2,3); // print
  14 C::f<string, string, bool>(1,2,3); // nope
  15 C::f<string, string, string>(1,2,3); // print
  16 C::f<int, string, bool>(1,2,3); // nope
  17 C::f<int, string, bool>(1,1,3); // print
  18 C::f<int, string, bool>(1,2,3); // nope
  19
  20
  21 echo "no argument\n";
  22 class D {
  23   <<__Memoize>>
  24   public static function g<reify Ta, Tb, reify Tc>() {
  25     var_dump("hi");
  26   }
  27 }
  28
  29 D::g<int, string, bool>(); // print
  30 D::g<int, string, bool>(); // nope
  31 D::g<string, string, bool>(); // print
  32 D::g<string, string, bool>(); // nope
  33 D::g<string, string, string>(); // print
  34 D::g<int, string, bool>(); // nope
  35 D::g<int, string, bool>(); // nope
  36
  37 echo "traits\n";
  38
  39 trait T {
  40   <<__Memoize>>
  41   public static function h<reify Ta, Tb, reify Tc>(mixed $x) {
  42     var_dump("hi");
  43   }
  44 }
  45
  46 class E {
  47   use T;
  48 }
  49
  50 E::h<int, string, bool>(1); // print
  51 E::h<int, string, bool>(1); // nope
  52 E::h<string, string, bool>(1); // print
  53 E::h<string, string, bool>(1); // nope
  54 E::h<string, string, string>(1); // print
  55 E::h<int, string, bool>(1); // nope
  56 E::h<int, string, bool>(1); // nope
  57 E::h<int, string, bool>(2); // print
  58 E::h<int, string, bool>(1); // nope