Untyped variadic function types should not be permitted in strict mode

[hiphop-php.git] / hphp / hack / test / typecheck / iface_require_incompat3.php

<?hh

class Super<T> {}

interface I1 {
  require extends Super<int>;
}

interface I2 extends I1 {}

class C implements I2 {}