3 files changed, 60 insertions, 0 deletions
diff --git a/java/typeMigration/testData/refactoring/typeMigration/t90/after/Test.items b/java/typeMigration/testData/refactoring/typeMigration/t90/after/Test.items
new file mode 100644
index 000000000000..721469c186fa
--- /dev/null
+++ b/java/typeMigration/testData/refactoring/typeMigration/t90/after/Test.items
@@ -0,0 +1,12 @@
+Types:
+PsiField:l : java.util.List<A>
+PsiMethodCallExpression:b.foo() : java.util.Map<java.lang.String,java.lang.String>
+PsiParameter:b : A
+PsiReferenceExpression:b : A
+PsiReferenceExpression:l : java.util.List<A>
+
+Conversions:
+b.foo() -> $
+
+New expression type changes:
+Fails:
diff --git a/java/typeMigration/testData/refactoring/typeMigration/t90/after/test.java b/java/typeMigration/testData/refactoring/typeMigration/t90/after/test.java
new file mode 100644
index 000000000000..06c072088b02
--- /dev/null
+++ b/java/typeMigration/testData/refactoring/typeMigration/t90/after/test.java
@@ -0,0 +1,24 @@
+import java.util.*;
+public class Test {
+    List<A> l;
+
+    @Override
+    Map<String, String> foo() {
+        HashMap<String, String> m = new HashMap<String, String>();
+        for (A b : l) {
+            Map<String, String> map = b.foo();
+            for (Map.Entry<String, String> entry : map.entrySet()) {
+                if (!m.containsKey(entry.getKey())) {
+                    m.put(entry.getKey(), entry.getValue());
+                }
+            }
+        }
+        return m;
+    }
+}
+
+class A {
+    Map<String, String> foo(){return null;}
+}
+
+class B extends A {}
+\ No newline at end of file
diff --git a/java/typeMigration/testData/refactoring/typeMigration/t90/before/test.java b/java/typeMigration/testData/refactoring/typeMigration/t90/before/test.java
new file mode 100644
index 000000000000..80afdc6aa08b
--- /dev/null
+++ b/java/typeMigration/testData/refactoring/typeMigration/t90/before/test.java
@@ -0,0 +1,24 @@
+import java.util.*;
+public class Test {
+    List<B> l;
+
+    @Override
+    Map<String, String> foo() {
+        HashMap<String, String> m = new HashMap<String, String>();
+        for (B b : l) {
+            Map<String, String> map = b.foo();
+            for (Map.Entry<String, String> entry : map.entrySet()) {
+                if (!m.containsKey(entry.getKey())) {
+                    m.put(entry.getKey(), entry.getValue());
+                }
+            }
+        }
+        return m;
+    }
+}
+
+class A {
+    Map<String, String> foo(){return null;}
+}
+
+class B extends A {}
+\ No newline at end of file