New inference: improved error message for unresolved type

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

<?hh // partial
abstract class C1 {
  abstract const X;
}
class C2 extends C1 {}