test/tools/javac/lambda/TargetType10.java

Fri, 22 Mar 2013 12:43:09 +0000

author
mcimadamore
date
Fri, 22 Mar 2013 12:43:09 +0000
changeset 1655
c6728c9addff
parent 1415
01c9d4161882
child 2000
4a6acc42c3a1
permissions
-rw-r--r--

8010303: Graph inference: missing incorporation step causes spurious inference error
Summary: Multiple equality constraints on inference vars are not used to generate new inference constraints
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