hphp/hack/test/typecheck/trait_require_param3.php

   1 <?hh
   2
   3 class Super<T> {}
   4
   5 trait T1 {
   6   require extends Super<int>;
   7 }
   8
   9 trait T2 {
  10   require extends Super<float>;
  11 }
  12
  13 class C<T> extends Super<T> {
  14   use T1;
  15   use T2;
  16 }