hphp/hack/test/typecheck/global_write_check/test_memoized.php

   1 <?hh // strict
   2
   3 class Bar {
   4   public int $prop = 0;
   5 }
   6
   7 class Foo {
   8   public static int $static_prop = 1;
   9   <<__LateInit>> public static Bar $bar;
  10
  11   <<__Memoize>>
  12   public static function foo_method_memoized(): int {
  13     return self::$static_prop;
  14   }
  15
  16   <<__MemoizeLSB>>
  17   public static function foo_method_memoized_lsb(): Bar {
  18     return self::$bar; // A global variable is passed to (or returned from) a function call.
  19   }
  20 }
  21
  22 <<__Memoize>>
  23 function fun_memoized(): Bar {
  24   return new Bar();
  25 }
  26
  27 <<__Memoize>>
  28 function fun_memoized_vec_int(): vec<int> {
  29   return vec[1, 2, 3];
  30 }
  31
  32 class Test {
  33   public function test_method_call(): void {
  34     (Foo::$bar)->prop = 1; // A global variable is written.
  35
  36     $a = Foo::foo_method_memoized();
  37     $a = 2;
  38
  39     $b = Foo::foo_method_memoized_lsb();
  40     $b->prop = 2; // A global variable is written.
  41
  42     $c = fun_memoized();
  43     $c->prop = 2; // A global variable is written.
  44
  45     $d = fun_memoized_vec_int();
  46     $d[0] = 2;
  47   }
  48 }