java/typeMigration/testData/refactoring/typeMigration/t133/after/test.java

interface I {
  void f();
}

interface J extends I {
  void g();
}

public interface Test {
  void h(I i);
}

class B implements Test {
  @Override
  public void h(I i) {
    i.f();
  }
} 

class C extends B {
  @Override
  public void h(I i) {
    i.f();
  }
}

abstract class F implements Test {}

class FF extends F {
  @Override
  public void h(I i) {
  }
}