new inference: checked exceptions inference, ensure throws bound are marked as such

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

@@ -0,0 +1,19 @@
+import java.io.IOException;
+
+class Test {
+
+  interface B<K, E extends Throwable> {
+    K l(K k) throws E;
+  }
+
+  <R> void bar(B<R, IOException> b) {}
+
+  <E extends Throwable, T> T baz(T l) throws E {
+    return null;
+  }
+
+  {
+    bar(l -> baz(l));
+    bar(this::baz);
+  }
+}

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

@@ -136,6 +136,11 @@ public class NewLambdaHighlightingTest extends LightDaemonAnalyzerTestCase {
     doTest();
   }
 
+  @Bombed(month = Calendar.OCTOBER, day = 30)
+  public void testCheckedExceptionsConstraintsSubstitutions() throws Exception {
+    doTest();
+  }
+
   private void doTest() {
     doTest(false);
   }