hphp/hack/test/typecheck/modules/module_static_prop.php

   1 //// modules.php
   2 <?hh
   3 <<file:__EnableUnstableFeatures('modules')>>
   4
   5 module A {}
   6 module B {}
   7 //// A.php
   8 <?hh
   9 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
  10
  11 <<file:__EnableUnstableFeatures('modules'), __Module('A')>>
  12
  13 class A {
  14   <<__Internal>>
  15   public static int $x = 0;
  16 }
  17
  18 function a(): void {
  19   A::$x = 1;
  20 }
  21
  22
  23 //// B.php
  24 <?hh
  25 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
  26
  27 <<file:__EnableUnstableFeatures('modules'), __Module('B')>>
  28
  29 function b(): void {
  30   A::$x = 1;
  31 }
  32
  33 //// no-module.php
  34 <?hh
  35 // Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
  36
  37 function none(): void {
  38   A::$x = 1;
  39 }