Error on self::class on non final classes

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

<?hh // strict

class C {
  public static function foo(): void {}
}

type CAlias = C;

function new_c(classname<CAlias> $c): void {
  $c::foo();
}

function bad_new_c(typename<CAlias> $c): void {
  $c::foo();
}