Wed, 14 May 2014 15:41:28 -0600
8034223: Most-specific should not have any special treatment for boxed vs. unboxed types
Summary: Rewrite most-specific logic to conform to JLS 8 15.12.2.5
Reviewed-by: vromero
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 8003280
4 * @summary Add lambda tests
5 * failure to infer exception thrown types from lambda body causes checked exception to be skipped
6 * @author Maurizio Cimadamore
7 * @compile/fail/ref=TargetType13.out -XDlambdaInferenceDiags=false -XDrawDiagnostics TargetType13.java
8 */
10 class TargetType13 {
12 interface SAM<E extends Throwable> {
13 void m(Integer x) throws E;
14 }
16 static <E extends Throwable> void call(SAM<E> s) throws E { }
18 void test() {
19 call(i -> { if (i == 2) throw new Exception(); return; });
20 }
21 }