test/tools/javac/lambda/TargetType28.java

changeset 0
959103a6100f
equal deleted inserted replaced
-1:000000000000 0:959103a6100f
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 }

mercurial