plugins/typeMigration/testData/refactoring/typeMigration/t132/before/test.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

interface I {
  void f();
}

interface J extends I {
  void g();
}

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

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

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