test/tools/javac/lambda/TargetType27.java

Fri, 05 Jul 2013 11:02:17 +0100

author
mcimadamore
date
Fri, 05 Jul 2013 11:02:17 +0100
changeset 1888
70b37cdb19d5
parent 0
959103a6100f
permissions
-rw-r--r--

8019480: Javac crashes when method is called on a type-variable receiver from lambda expression
Summary: Logic for shortcircuiting speculative attribution doesn't handle type-variable receivers
Reviewed-by: jjg, vromero

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @bug 8003280
     4  * @summary Add lambda tests
     5  *  complex case of cyclic type inference (lambda returned where inference var expected)
     6  * @compile/fail/ref=TargetType27.out -XDrawDiagnostics TargetType27.java
     7  * @compile/fail/ref=TargetType27.out -XDrawDiagnostics -XDcomplexinference TargetType27.java
     8  */
    10 class TargetType27 {
    11     interface F<X, Y>  {
    12         Y f(X a);
    13     }
    15     <A, R> F<A, R> m(F<A, R>  f) { return null; }
    17     void test() {
    18         m((String s1) ->  (String s2) ->  new Integer(1));
    19     }
    20 }

mercurial