Fix build break after oxidized regen

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

<?hh // strict

interface Rx {}

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

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