test/tools/javac/lambda/TargetType28.java

Thu, 30 Jan 2014 11:09:01 -0800

author
sogoel
date
Thu, 30 Jan 2014 11:09:01 -0800
changeset 2255
b2e4c5ca111f
parent 0
959103a6100f
permissions
-rw-r--r--

8027175: Existing regression tests in tl/langtools and tl/jdk need to be updated for @bug keyword
Reviewed-by: jjg, ksrini
Contributed-by: matherey.nunez@oracle.com

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

mercurial