hphp/hack/test/typecheck/test_consts13.php

   1 ////file1.php
   2 <?hh // strict
   3
   4 abstract class C1 {
   5   abstract const int X;
   6 }
   7 ////file2.php
   8 <?hh
   9 class C2 extends C1 {
  10   const string X = 'a'; // error: unexpected type
  11 }