hphp/hack/test/find_refs/class.php

   1 <?hh
   2
   3 abstract class Foo {
   4   public Foo $prop = "aaa";
   5   public static Foo $static_prop = "aaa";
   6   const Foo CONST = "aaa";
   7   abstract const Foo ABS_CONST;
   8   const type type_const = Foo;
   9
  10   public function method(Generic<Foo> $x, $y) {
  11     if ($y instanceof Foo) {
  12     }
  13     try {
  14     } catch (Foo $foo) {
  15     }
  16   }
  17 }
  18
  19 type Alias = Foo;
  20
  21 trait T {
  22   require extends Foo; // TODO: this is not found
  23 }
  24
  25 abstract class C extends Foo {}
  26
  27 function test<T as Foo>(
  28   Foo $c
  29 ): Foo {
  30   return new Foo();
  31 }