test/tools/javac/lambda/MostSpecific06.java

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

author
mcimadamore
date
Tue, 12 Mar 2013 16:02:43 +0000
changeset 1628
5ddecb91d843
parent 0
959103a6100f
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  *  most specific resolution crashes on stuck lambdas
     6  * @compile/fail/ref=MostSpecific06.out -XDrawDiagnostics MostSpecific06.java
     7  */
     8 import java.util.*;
    10 class MostSpecific06 {
    12     interface Predicate<X> {
    13         boolean accept(X x);
    14     }
    16     interface ExtPredicate<X> extends Predicate<X> { }
    20     void test(boolean cond, ArrayList<String> als) {
    21         m(u -> true, als, als);
    22         m((u -> true), als, als);
    23         m(cond ? u -> true : u -> false, als, als);
    24     }
    26     <U> U m(Predicate<U> p, List<U> lu, ArrayList<U> au) { return null; }
    29     <U> U m(ExtPredicate<U> ep, ArrayList<U> au, List<U> lu) { return null; }
    30 }

mercurial