new inference: accept raw equality

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/TypeEqualityConstraint.java

@@ -73,7 +73,7 @@ public class TypeEqualityConstraint implements ConstraintFormula {
 
     if (session.isProperType(myT) && session.isProperType(myS)) {
       if (myT == null) return myS == null || myS.equalsToText(CommonClassNames.JAVA_LANG_OBJECT);
-      if (myS == null) return myT.equalsToText(CommonClassNames.JAVA_LANG_OBJECT);
+      if (myS == null) return true;
       return Comparing.equal(myT, myS);
     }
     InferenceVariable inferenceVariable = session.getInferenceVariable(myS);

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/RawTypeFromParent.java

@@ -0,0 +1,13 @@
+import java.util.ArrayList;
+import java.util.List;
+
+class Foo<T> {
+
+  public void test(Foo parent) {
+    List<Foo> elements = getElements(parent);
+  }
+
+  public static <E extends Foo<E>> List<E> getElements(E parent) {
+    return new ArrayList<>();
+  }
+}

java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java

@@ -180,6 +180,10 @@ public class GraphInferenceHighlightingTest extends LightDaemonAnalyzerTestCase
     doTest();
   }
 
+  public void testRawTypeFromParent() throws Exception {
+    doTest();
+  }
+
   private void doTest() throws Exception {
     doTest(false);
   }