test/tools/javac/lambda/TargetType57.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 8007464
     4  * @summary Add graph inference support
     5  *          more smoke tests for graph inference
     6  * @compile/fail/ref=TargetType57.out -XDrawDiagnostics TargetType57.java
     7  */
     8 import java.util.*;
     9 import java.util.function.*;
    11 class TargetType57 {
    13     void test(List<Integer> list) {
    14         m(list, s -> s.intValue(), s -> s.nonExistentMethod());
    15     }
    17     <U, R, S_IN, S_OUT> R m(List<S_IN> list,
    18                         Function<S_IN, S_OUT> f1,
    19                         Function<S_OUT, R> f2) { return null; }
    20 }

mercurial