1 /* |
|
2 * @test /nodynamiccopyright/ |
|
3 * @bug 8030741 |
|
4 * @summary Inference: implement eager resolution of return types, consistent with JDK-8028800 |
|
5 * @compile/fail/ref=PrimitiveTypeBoxingTest.out -XDrawDiagnostics PrimitiveTypeBoxingTest.java |
|
6 */ |
|
7 |
|
8 public class PrimitiveTypeBoxingTest { |
|
9 |
|
10 static void foo(long arg) {} |
|
11 static void bar(int arg) {} |
|
12 |
|
13 interface F<X> { void get(X arg); } |
|
14 |
|
15 <Z> void m1(F<Z> f, Z arg) {} |
|
16 <Z> void m2(Z arg, F<Z> f) {} |
|
17 |
|
18 void test() { |
|
19 m1(PrimitiveTypeBoxingTest::foo, 23); // expected: error |
|
20 m2(23, PrimitiveTypeBoxingTest::foo); // expected: error |
|
21 |
|
22 m1(PrimitiveTypeBoxingTest::bar, 23); // expected: success |
|
23 m2(23, PrimitiveTypeBoxingTest::bar); // expected: success |
|
24 } |
|
25 } |
|