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

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

mercurial