type migration: migrate field in case of migration to super type (IDEA-69760)

java/typeMigration/testData/refactoring/typeMigration/migrationToSuper/after/Test.items

@@ -0,0 +1,11 @@
+Types:
+PsiField:b : Test.A<java.lang.String>
+PsiLocalVariable:val : java.lang.String
+PsiReferenceExpression:b : Test.A<java.lang.String>
+PsiReferenceExpression:b.value : java.lang.String
+
+Conversions:
+b.value -> $
+
+New expression type changes:
+Fails:

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

@@ -0,0 +1,17 @@
+public class Test {
+  A<String> b;
+
+  class Base {
+
+  }
+
+  class A<T> extends Base {
+    T value;
+  }
+
+  class B<T> extends A<T> {}
+
+  void m() {
+    String val = b.value;
+  }
+}

java/typeMigration/testData/refactoring/typeMigration/migrationToSuper/before/test.java

@@ -0,0 +1,17 @@
+public class Test {
+  B<Long> b;
+
+  class Base {
+
+  }
+
+  class A<T> extends Base {
+    T value;
+  }
+
+  class B<T> extends A<T> {}
+
+  void m() {
+    Long val = b.value;
+  }
+}

java/typeMigration/testData/refactoring/typeMigration/migrationToSuper2/after/Test.items

@@ -0,0 +1,10 @@
+Types:
+PsiField:b : Test.Base<java.lang.String>
+PsiLocalVariable:val : T
+PsiReferenceExpression:b : Test.Base<java.lang.String>
+
+Conversions:
+
+New expression type changes:
+Fails:
+b->Test.Base<java.lang.String>

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

@@ -0,0 +1,17 @@
+public class Test {
+    Base<String> b;
+
+    class Base {
+
+    }
+
+    class A<T> extends Base {
+        T value;
+    }
+
+    class B<T> extends A<T> {}
+
+    void m() {
+        T val = b.value;
+    }
+}

java/typeMigration/testData/refactoring/typeMigration/migrationToSuper2/before/test.java

@@ -0,0 +1,17 @@
+public class Test {
+    B<Long> b;
+
+    class Base {
+
+    }
+
+    class A<T> extends Base {
+        T value;
+    }
+
+    class B<T> extends A<T> {}
+
+    void m() {
+        Long val = b.value;
+    }
+}