No error on use of `unsafe_cast`

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

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

interface I {
  public function f(): void;
}

final class C<T as I> {
  public static function g(T $x): void {
    $x->f();
  }
}

function test(int $x): void {
  $c = C::class;
  $c::g($x);
}