Add conflicting concrete typeconst check, change class const map to not consider...

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

<?hh

class A {
  const int X = 3;
}
class B extends A {
  const int X = 4;
}

trait T {
  require extends A;
}
class C extends B {
  use T;
}