Check for void/noreturn in conditionals

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

<?hh

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