hphp/hack/test/typecheck/delayed_subst1.php

   1 <?hh // strict
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3 interface Test extends BaseXXX<int>, C {}
   4
   5 interface BaseXXX<+T as num> {
   6   public function get(): T;
   7 }
   8
   9 interface C extends BaseXXX<num> {}