T8170410.java revision 3801:8fc0a7bf47a9 
1/*
2 * @test
3 * @bug 8170410
4 * @summary inference: javac doesn't implement 18.2.5 correctly
5 * @compile T8170410.java
6 */
7
8class 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}
24