inferred type check for raw constraints (IDEA-147529)

java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/GenericsHighlightUtil.java

@@ -71,7 +71,14 @@ public class GenericsHighlightUtil {
   static HighlightInfo checkInferredTypeArguments(PsiTypeParameter[] typeParameters,
                                                   PsiElement call,
                                                   PsiSubstitutor substitutor) {
-    final Pair<PsiTypeParameter, PsiType> inferredTypeArgument = GenericsUtil.findTypeParameterWithBoundError(typeParameters, substitutor, call, false);
+    return checkInferredTypeArguments(typeParameters, call, substitutor, false);
+  }
+
+  @Nullable
+  static HighlightInfo checkInferredTypeArguments(PsiTypeParameter[] typeParameters,
+                                                  PsiElement call,
+                                                  PsiSubstitutor substitutor, boolean allowUncheckedConversion) {
+    final Pair<PsiTypeParameter, PsiType> inferredTypeArgument = GenericsUtil.findTypeParameterWithBoundError(typeParameters, substitutor, call, allowUncheckedConversion);
     if (inferredTypeArgument != null) {
       final PsiType extendsType = inferredTypeArgument.second;
       final PsiTypeParameter typeParameter = inferredTypeArgument.first;

java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/HighlightVisitorImpl.java

@@ -1341,7 +1341,7 @@ public class HighlightVisitorImpl extends JavaElementVisitor implements Highligh
         assert containingClass != null : method;
         typeParameters = ArrayUtil.mergeArrays(typeParameters, containingClass.getTypeParameters());
       }
-      myHolder.add(GenericsHighlightUtil.checkInferredTypeArguments(typeParameters, expression, result.getSubstitutor()));
+      myHolder.add(GenericsHighlightUtil.checkInferredTypeArguments(typeParameters, expression, result.getSubstitutor(), true));
     }
 
     if (!myHolder.hasErrorResults()) {

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/newMethodRef/RawInferredTypeCheck.java

@@ -0,0 +1,20 @@
+import java.io.Serializable;
+import java.util.function.BiConsumer;
+
+class Test {
+
+  interface HasCode<T extends Serializable> {
+    static <U extends Serializable, T extends Enum<T> & HasCode<U>> T fromCode(U code, Class<T> classEnum) {
+      return null;
+    }
+  }
+
+  enum EnumRaw implements HasCode {
+    ;
+  }
+
+  public static void main(String[] args){
+    final BiConsumer<String, Class<EnumRaw>> code = HasCode::fromCode;
+  }
+
+}

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

@@ -450,6 +450,10 @@ public class NewMethodRefHighlightingTest extends LightDaemonAnalyzerTestCase {
     doTest();
   }
 
+  public void testRawInferredTypeCheck() throws Exception {
+    doTest();
+  }
+
   private void doTest() {
     doTest(false);
   }