No error on use of `unsafe_cast`

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

<?hh // partial

abstract class C1 {
  abstract const int X;
}
function test_polymorphism(C1 $inst): string {
  return $inst::X;
}