inference: proper exceptions thrown checks (IDEA-152577)

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

@@ -161,7 +161,7 @@ public class CheckedExceptionCompatibilityConstraint extends InputOutputConstrai
 
   private static boolean isAddressed(List<PsiType> expectedThrownTypes, PsiType thrownType) {
     for (PsiType expectedThrownType : expectedThrownTypes) {
-      if (TypeConversionUtil.isAssignable(TypeConversionUtil.erasure(thrownType), expectedThrownType)) {
+      if (TypeConversionUtil.isAssignable(expectedThrownType, thrownType)) {
         return true;
       }
     }

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/constraints/ExceptionConstraintsWithProperAndNonProperThrows.java

@@ -0,0 +1,17 @@
+import java.io.IOException;
+
+class GenericException {
+  {
+    applyFunc(t -> throwsException());
+  }
+
+  private static <T, E extends Exception> void applyFunc(CheckedFunction<T, E> function) {}
+
+
+  private static void throwsException() throws Exception {}
+
+  interface CheckedFunction<T, E extends Exception> {
+    void apply(T t) throws E, IOException;
+  }
+
+}

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

@@ -63,6 +63,10 @@ public class ConstraintsInferenceMiscTest extends LightDaemonAnalyzerTestCase {
     doTest(false);
   }
 
+  public void testExceptionConstraintsWithProperAndNonProperThrows() throws Exception {
+    doTest(false);
+  }
+
   private void doTest(final boolean checkWarnings) {
     doTest(BASE_PATH + "/" + getTestName(false) + ".java", checkWarnings, false);
   }