hphp/hack/test/typecheck/override_attr_05.php

   1 <?hh // partial
   2 /**
   3  * Copyright (c) 2014, Facebook, Inc.
   4  * All rights reserved.
   5  *
   6  * This source code is licensed under the MIT license found in the
   7  * LICENSE file in the "hack" directory of this source tree.
   8  *
   9  *
  10  */
  11
  12 class A {
  13   public function foo(): void {}
  14
  15   public function bar(): void {}
  16
  17   public static function statFoo(): void {}
  18 }
  19
  20 trait TUnrelated {
  21   public function baz(): void {}
  22 }
  23
  24 trait ATr {
  25   <<__Override>> // enforced onto C1 with A as parent
  26   public function foo(): void {}
  27
  28   <<__Override>> // enforced onto C1 with A as parent
  29   public static function statFoo(): void {}
  30
  31   <<__Override>> // enforced onto C1 with A as parent
  32   final public function bar(): void {}
  33
  34   use TUnrelated;
  35   <<__Override>> // enforced immediately with TUnrelated parent
  36   public function baz(): void {}
  37 }
  38
  39 class C1 extends A {
  40   use ATr;
  41 }
  42
  43 class C2 extends C1 {
  44
  45   <<__Override>> // C1 is the parent
  46   public function foo(): void {}
  47
  48 }