hphp/hack/test/typecheck/instanceof_parent.php

   1 <?hh // strict
   2
   3 class D {
   4   public function g(): void {
   5     echo __METHOD__, "\n";
   6   }
   7 }
   8
   9 class C extends D {
  10
  11   public function g(): void {
  12     echo __METHOD__, "\n";
  13   }
  14
  15   public static function test(mixed $x): void {
  16     if ($x instanceof parent) {
  17       hh_show($x);
  18       $x->g();
  19     }
  20     return;
  21   }
  22 }