test/tools/javac/lambda/TargetType10.java

Tue, 12 Mar 2013 16:02:43 +0000

author
mcimadamore
date
Tue, 12 Mar 2013 16:02:43 +0000
changeset 1628
5ddecb91d843
parent 1415
01c9d4161882
child 2000
4a6acc42c3a1
permissions
-rw-r--r--

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg

mcimadamore@1415 1 /*
mcimadamore@1415 2 * @test /nodynamiccopyright/
mcimadamore@1415 3 * @bug 8003280
mcimadamore@1415 4 * @summary Add lambda tests
mcimadamore@1415 5 * check that wildcards in the target method of a lambda conversion is handled correctly
mcimadamore@1415 6 * @author Maurizio Cimadamore
mcimadamore@1415 7 * @compile/fail/ref=TargetType10.out -XDrawDiagnostics TargetType10.java
mcimadamore@1415 8 */
mcimadamore@1415 9
mcimadamore@1415 10 class TargetType10 {
mcimadamore@1415 11 interface Function<A,R> {
mcimadamore@1415 12 R apply(A a);
mcimadamore@1415 13 }
mcimadamore@1415 14
mcimadamore@1415 15 static class Test {
mcimadamore@1415 16 <A,B,C> Function<A,C> compose(Function<B,C> g, Function<A,? extends B> f) { return null; }
mcimadamore@1415 17 { compose(x -> "a" + x, x -> x + "b"); }
mcimadamore@1415 18 }
mcimadamore@1415 19 }

mercurial