Untyped variadic function types should not be permitted in strict mode

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

<?hh // strict
// Copyright 2004-present Facebook. All Rights Reserved.

final class Child extends Base<int> {

  use ATrait;
}

trait ATrait {

  require extends Base<mixed>;
}

class Base<+T> {

  public function get(): T {
    // UNSAFE
  }
}