hphp/hack/test/typecheck/trait_typehint.php

   1 <?hh
   2
   3 interface IParent {
   4   const CBAR = 'bar';
   5 }
   6
   7 abstract class CParent implements IParent {
   8   protected function foo(): string {
   9     return __CLASS__;
  10   }
  11 }
  12
  13 abstract class Kid extends CParent {
  14   protected function bar() {}
  15 }
  16
  17 trait KidTrait {
  18   require extends Kid;
  19   require extends CParent;
  20
  21   protected function foo(): string {
  22     takes_parent($this);
  23     takes_iparent($this);
  24     takes_kid($this);
  25     takes_kt($this);
  26     parent::bar();
  27     return 'wrapped('.parent::foo().')';
  28   }
  29 }
  30
  31 function takes_kt(Vector<KidTrait> $kt): void {}