new inference: non-wildcard parameterization

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

@@ -123,11 +123,11 @@ public class FunctionalInterfaceParameterizationUtil {
         return parameterization;
       }
 
-      if (!parameterization.isAssignableFrom(psiClassType)) {
+      if (!psiClassType.isAssignableFrom(parameterization)) {
         return null;
       }
 
-      return getNonWildcardParameterization(parameterization);
+      return getNonWildcardParameterization((PsiClassType)psiClassType);
     }
     return null;
   }
@@ -173,7 +173,9 @@ public class FunctionalInterfaceParameterizationUtil {
           final PsiClassType Bi = extendsListTypes.length > 0 ? extendsListTypes[0]
                                                               : PsiType.getJavaLangObject(psiClass.getManager(),
                                                                                           GlobalSearchScope.allScope(psiClass.getProject()));
-          if (PsiPolyExpressionUtil.mentionsTypeParameters(Bi, typeParametersSet)) return null;
+          if (PsiPolyExpressionUtil.mentionsTypeParameters(Bi, typeParametersSet)) {
+            return null;
+          }
 
           final PsiType bound = ((PsiWildcardType)paramType).getBound();
           if (bound == null) {

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/newLambda/WildcardParameterization.java

@@ -0,0 +1,7 @@
+import java.util.function.Function;
+
+class Sample {
+  {
+    Function<? extends String, ? extends Integer> f = (String s)  -> s.length();
+  }
+}

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

@@ -134,6 +134,10 @@ public class NewLambdaHighlightingTest extends LightDaemonAnalyzerTestCase {
     doTest();
   }
 
+  public void testWildcardParameterization() throws Exception {
+    doTest();
+  }
+
   private void doTest() {
     doTest(false);
   }