push down: search for method in inheritor by super method signature (IDEA-86806)

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

@@ -0,0 +1,13 @@
+abstract class BaseTask<T, S extends BaseTask<T, S>> {
+  public abstract S make<caret>Task(int depth, ParallelStream<T> coll);
+}
+
+
+class ForEachTask<T> extends BaseTask<T, ForEachTask<T>> {
+  public ForEachTask<T> makeTask(int depth, ParallelStream<T> coll) {
+    return new ForEachTask<T>();
+  }
+}
+
+class ParallelStream<T> {
+}

java/java-tests/testData/refactoring/pushDown/OverridingMethodWithSubst.java.after

@@ -0,0 +1,12 @@
+abstract class BaseTask<T, S extends BaseTask<T, S>> {
+}
+
+
+class ForEachTask<T> extends BaseTask<T, ForEachTask<T>> {
+  public ForEachTask<T> makeTask(int depth, ParallelStream<T> coll) {
+    return new ForEachTask<T>();
+  }
+}
+
+class ParallelStream<T> {
+}

java/java-tests/testSrc/com/intellij/refactoring/PushDownTest.java

@@ -115,6 +115,10 @@ public class PushDownTest extends LightRefactoringTestCase {
     doTest();
   }
 
+  public void testOverridingMethodWithSubst() throws Exception {
+    doTest();
+  }
+
   public void testSameClassInterface() throws Exception {
     final String filePath = "/refactoring/pushDown/" + getTestName(false) + ".java";
     configureByFile(filePath);