|
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 */ |
|
9 |
|
10 class TargetType13 { |
|
11 |
|
12 interface SAM<E extends Throwable> { |
|
13 void m(Integer x) throws E; |
|
14 } |
|
15 |
|
16 static <E extends Throwable> void call(SAM<E> s) throws E { } |
|
17 |
|
18 void test() { |
|
19 call(i -> { if (i == 2) throw new Exception(); return; }); |
|
20 } |
|
21 } |