|
1 /* |
|
2 * @test /nodynamiccopyright/ |
|
3 * @bug 8003280 |
|
4 * @summary Add lambda tests |
|
5 * target type inference in a case where lambda expression returns diamond |
|
6 * @compile/fail/ref=TargetType28.out -XDrawDiagnostics TargetType28.java |
|
7 */ |
|
8 |
|
9 class TargetType28 { |
|
10 static class SuperFoo<X> {} |
|
11 |
|
12 static class Foo<X extends Number> extends SuperFoo<X> {} |
|
13 |
|
14 interface A<X, Y> { |
|
15 SuperFoo<Y> m(X x); |
|
16 } |
|
17 |
|
18 <Z, R> SuperFoo<R> apply(A<Z, R> ax, Z x) { return null; } |
|
19 |
|
20 SuperFoo<String> ls = apply(x-> new Foo<>(), 1); |
|
21 SuperFoo<Integer> li = apply(x-> new Foo<>(), 1); |
|
22 SuperFoo<?> lw = apply(x-> new Foo<>(), 1); |
|
23 } |