3 files changed, 82 insertions, 0 deletions
diff --git a/plugins/typeMigration/testData/refactoring/typeMigration/t133/after/Test.items b/plugins/typeMigration/testData/refactoring/typeMigration/t133/after/Test.items
new file mode 100644
index 000000000000..777fddf90a83
--- /dev/null
+++ b/plugins/typeMigration/testData/refactoring/typeMigration/t133/after/Test.items
@@ -0,0 +1,16 @@
+Types:
+PsiMethodCallExpression:i.f() : void
+PsiMethodCallExpression:i.f() : void
+PsiParameter:i : I
+PsiParameter:i : I
+PsiParameter:i : I
+PsiParameter:i : I
+PsiReferenceExpression:i : I
+PsiReferenceExpression:i : I
+
+Conversions:
+i.f() -> $
+i.f() -> $
+
+New expression type changes:
+Fails:
diff --git a/plugins/typeMigration/testData/refactoring/typeMigration/t133/after/test.java b/plugins/typeMigration/testData/refactoring/typeMigration/t133/after/test.java
new file mode 100644
index 000000000000..41db920f7120
--- /dev/null
+++ b/plugins/typeMigration/testData/refactoring/typeMigration/t133/after/test.java
@@ -0,0 +1,33 @@
+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) {
+  }
+}
diff --git a/plugins/typeMigration/testData/refactoring/typeMigration/t133/before/test.java b/plugins/typeMigration/testData/refactoring/typeMigration/t133/before/test.java
new file mode 100644
index 000000000000..5599c1a59b46
--- /dev/null
+++ b/plugins/typeMigration/testData/refactoring/typeMigration/t133/before/test.java
@@ -0,0 +1,33 @@
+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 extends B {
+  @Override
+  public void h(J i) {
+    i.f();
+  }
+}
+
+abstract class F implements Test {}
+
+class FF extends F {
+  @Override
+  public void h(J i) {
+  }
+}