hphp/hack/test/typecheck/trait_require_param5.php

   1 <?hh
   2
   3 // Repeated use of Tv bound to something different in each class is meant
   4 // to be a stress-test of tricksy typing_decl instantiation code
   5
   6 abstract class Super<Tk, Tv> {}
   7
   8 abstract class SuperChild<Tv> extends Super<array<mixed>, Tv> {}
   9
  10 trait TReq<Tk, Tv> {
  11   require extends Super<Tk, Awaitable<Tv>>;
  12 }
  13
  14 class C1 extends SuperChild<Awaitable<bool>> {
  15   use TReq<array<mixed>, bool>;
  16 }