test/tools/javac/lambda/TargetType23.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 2395
9c577131ffa6
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 case of ambiguous method call with lambda whose body cannot
     6             complete normally
     7  * @compile/fail/ref=TargetType23.out -XDrawDiagnostics TargetType23.java
     8  */
    10 class TargetType23 {
    12     interface Sam0 {
    13         void m();
    14     }
    16     interface Sam1 {
    17         int m();
    18     }
    20     interface Sam2 {
    21         String m();
    22     }
    24     interface Sam3<A> {
    25         A m();
    26     }
    29     void call(Sam0 s) { }
    30     void call(Sam1 s) { }
    31     void call(Sam2 s) { }
    32     <Z> void call(Sam3<Z> s) { }
    34     void test() {
    35         call(()-> { throw new RuntimeException(); }); //ambiguous - both call(Sam0), call(Sam2), call(Sam3) match
    36     }
    37 }

mercurial