hphp/hack/test/typecheck/trait_require_param1.php

   1 <?hh // partial
   2
   3 abstract class Foo<T> {
   4   /* HH_FIXME[4110] */
   5   protected function bar(): T {
   6   }
   7 }
   8
   9 trait Tbaz {
  10   require extends Foo<int>;
  11
  12   protected function f(): void {
  13     $int = $this->bar();
  14     f_takes_int($int);
  15   }
  16 }
  17
  18 function f_takes_int(int $f): void {}