hphp/hack/test/typecheck/override_attr_03.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 UnrelatedParent {}
  13
  14 class CParent {
  15   public function foo(): void {}
  16 }
  17
  18 trait ATrait {
  19   public function foo(): void {}
  20 }
  21
  22 trait UnrelatedTrait {}
  23
  24 interface I {
  25   public function bar(): void;
  26 }
  27
  28 class CTrait extends UnrelatedParent implements I {
  29   use ATrait;
  30
  31   <<__Override>>
  32   public function foo(): void {}
  33
  34   public function bar(): void {}
  35 }
  36
  37 class CParentAndTrait extends CParent implements I {
  38   use ATrait;
  39   use UnrelatedTrait;
  40
  41   <<__Override>>
  42   public function foo(): void {}
  43
  44   public function bar(): void {}
  45 }