new inference: mark erased for type params/raw types compatibility (IDEA-122932)

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

@@ -75,6 +75,8 @@ public class TypeCompatibilityConstraint implements ConstraintFormula {
         if (sSubstitutor != null && PsiUtil.isRawSubstitutor(tClass, sSubstitutor)) {
           return true;
         }
+        //comment in 18.2.2. Type Compatibility Constraints
+        if (tClass instanceof PsiTypeParameter && ((PsiClassType)s).isRaw()) return true;
       }
     } 
     else if (t instanceof PsiArrayType && t.getArrayDimensions() == s.getArrayDimensions()) {

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

@@ -5,6 +5,11 @@ class Foo<T> {
 
   public void test(Foo parent) {
     List<Foo> elements = getElements(parent);
+
+
+    for (<error descr="Incompatible types. Found: 'java.lang.Object', required: 'Foo'">Foo foo : getElements(parent)</error>) {
+      System.out.println(foo);
+    }
   }
 
   public static <E extends Foo<E>> List<E> getElements(E parent) {