Move tests that only checks first error to subfolder

[hiphop-php.git] / hphp / hack / test / typecheck / reactive / only_first_error / static_rx_if_implements8_1.php

<?hh // strict

interface Rx {}

class A {
  <<__Rx, __OnlyRxIfImpl(Rx::class)>>
  public static function f(): int {
    return 1;
  }
}

class B extends A {
  <<__Rx>>
  public static function g() {
    // should be an error, B does not implement Rx
    parent::f();
  }
}