hphp/hack/test/typecheck/interface_implement.php

   1 <?hh // strict
   2 // Test for interface trying to implement
   3
   4 interface IFace<T> {
   5   public function foo(): T;
   6 }
   7
   8 interface IFace2<T> implements IFace<T> {
   9   public function foo(): T;
  10   public function bar(): T;
  11 }