push down/pull up: ensure raw substitutor correctly erase types in the target class (IDEA-155581)

java/java-tests/testData/refactoring/pushDown/ErasureIfInheritsWithRawSubstitution.java

@@ -0,0 +1,9 @@
+import java.util.*;
+
+class A<T> {
+  <S extends T, K extends List<List<T>>> <caret>foo(List<? extends T> l1, List<? extends S> l2, List<? extends K> l3, S s, K k, T t) {
+    Collections.<T>emptyList();
+  }
+}
+
+class B extends A {}

java/java-tests/testData/refactoring/pushDown/ErasureIfInheritsWithRawSubstitution_after.java

@@ -0,0 +1,10 @@
+import java.util.*;
+
+class A<T> {
+}
+
+class B extends A {
+    <S extends Object, K extends List> B(List l1, List<? extends S> l2, List<? extends K> l3, S s, K k, Object t) {
+      Collections.emptyList();
+    }
+}