hphp/hack/test/typecheck/req_ancestor_with_generics.php

   1 <?hh // strict
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3
   4 abstract class Expression<Tresult> {}
   5 abstract class Evaluator<T, Texpression as Expression<T>> {}
   6
   7 class LiteralEvaluator<T, Texpression as ILiteralExpression<T>>
   8   extends Evaluator<T, Texpression> {}
   9
  10 interface ILiteralExpression<TlitResult> {
  11   require extends Expression<TlitResult>;
  12 }