equal
deleted
inserted
replaced
|
1 /* |
|
2 * @test |
|
3 * @bug 8170410 |
|
4 * @summary inference: javac doesn't implement 18.2.5 correctly |
|
5 * @compile T8170410.java |
|
6 */ |
|
7 |
|
8 class T8170410 { |
|
9 interface CheckedSupplier<T extends Throwable, R> { |
|
10 R get() throws T; |
|
11 } |
|
12 |
|
13 static <T extends Throwable, R> CheckedSupplier<T, R> checked(CheckedSupplier<T, R> checkedSupplier) { |
|
14 return checkedSupplier; |
|
15 } |
|
16 |
|
17 static void test() { |
|
18 checked(() -> null).get(); |
|
19 checked(T8170410::m).get(); |
|
20 } |
|
21 |
|
22 static String m() { return ""; } |
|
23 } |