hphp/hack/test/typecheck/class_meth11.php

   1 <?hh
   2
   3 class C {
   4   public static function aStaticMeth(): string {
   5     return 'C';
   6   }
   7
   8   public function test(): string {
   9     $h = static::aStaticMeth<>;
  10     hh_show($h);
  11     return $h() . ' ';
  12   }
  13 }
  14
  15 final class D extends C {
  16   public function test2(): string {
  17     $g = self::aStaticMeth<>;
  18     hh_show($g);
  19     return $g() . ' ';
  20   }
  21
  22   public static function aStaticMeth(): string {
  23     return 'D';
  24   }
  25 }
  26
  27 trait MyTr {
  28   public static function aStaticMeth(): string {
  29     return 'MyTr';
  30   }
  31
  32   public function test(): string {
  33     // static::class is the 'use'r class at runtime
  34     $h = static::aStaticMeth<>;
  35     hh_show($h);
  36     return $h() . ' ';
  37   }
  38 }
  39
  40 class E {
  41   use MyTr;
  42 }
  43
  44 <<__EntryPoint>>
  45 function main(): void {
  46   $c = new C();
  47   echo 'C: ', $c->test(), "\n";
  48   $d = new D();
  49   echo 'D: ', $d->test(), "\n";
  50   $e = new E();
  51   echo 'E: ', $e->test(), "\n";
  52 }
  53
  54 // Expected output when executed (without hh_show's)
  55 // C: C C C
  56 // D: C C D
  57 // E: MyTr MyTr MyTr