test/tools/javac/lambda/TargetType11.java

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

author
mcimadamore
date
Tue, 12 Mar 2013 16:02:43 +0000
changeset 1628
5ddecb91d843
parent 1510
7873d37f5b37
child 2525
2eb010b6cb22
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 TargetType11.java
     8  */
    10 class TargetType11 {
    11     interface Predicate<X> {
    12         boolean apply(X c);
    13     }
    15     static class Test {
    16         public <T> Predicate<T> and(Predicate<? super T>... first) { return null; }
    17         public Predicate<Character> forPredicate(Predicate<? super Character> predicate) { return null; }
    19         Predicate<Character> c2 = forPredicate(c -> c.compareTo('e') < 0);
    20         Predicate<Integer> k = and(i -> i > 0, i -> i % 2 == 0);
    21     }
    22 }

mercurial