Error on self::class on non final classes

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

////foo.php
<?hh // strict
class Foo {
  public function f(int $x): void {}
}

////treq_ext_foo.php
<?hh // strict
trait TReqExtFoo {
  require extends Foo;
}

////child.php
<?hh // strict
class Child extends Foo {
  public function f(string $x): void {}
}

////treq_ext_child.php
<?hh // strict
trait TReqExtChild {
  require extends Child;
}

////tboth_traits.php
<?hh // strict
trait TBothTraits {
  use TReqExtChild;
  use TReqExtFoo;
}