test/tools/javac/lambda/TargetType39.java

Mon, 02 Sep 2013 22:38:36 +0100

author
vromero
date
Mon, 02 Sep 2013 22:38:36 +0100
changeset 2000
4a6acc42c3a1
parent 0
959103a6100f
permissions
-rw-r--r--

8016177: structural most specific and stuckness
Reviewed-by: jjg, vromero
Contributed-by: maurizio.cimadamore@oracle.com

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @bug 8003280
     4  * @summary Add lambda tests
     5  *  check that type-checking fails because of recursive analysis of stuck expressions
     6   * @compile/fail/ref=TargetType39.out -XDrawDiagnostics TargetType39.java
     7  */
     8 class TargetType39 {
    10     interface I { }
    12     interface SAM<A, R> {
    13         R m(A a);
    14     }
    16     <U, V> void call(SAM<U, V> s) { }
    18     void test(boolean cond, SAM<String, Void> ssv) {
    19         call(cond ? x-> null : ssv);
    20         call((String s)-> cond ? x-> null : ssv);
    21     }
    22 }

mercurial