test/tools/javac/lambda/TargetType21.java

Mon, 21 Jan 2013 20:13:56 +0000

author
mcimadamore
date
Mon, 21 Jan 2013 20:13:56 +0000
changeset 1510
7873d37f5b37
parent 1480
db91d860156a
child 2000
4a6acc42c3a1
permissions
-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @bug 8003280
     4  * @summary Add lambda tests
     5  *  check that candidates with cyclic type-inference are removed from the
     6  *          set of applicable methods
     7  * @compile/fail/ref=TargetType21.out -XDrawDiagnostics TargetType21.java
     8  */
    10 class TargetType21 {
    11     interface SAM1 {
    12         String m1(Integer n) throws Exception;
    13     }
    15     interface SAM2 {
    16         void m2(Integer n);
    17     }
    19     interface SAM3<R,A> {
    20         R m3(A n);
    21     }
    23     void call(SAM1 sam) { }
    24     void call(SAM2 sam) { }
    25     <R,A> void call(SAM3<R,A> sam) { }
    27     void test() {
    28         call(x -> { throw new Exception(); }); //ambiguous
    29         call(x -> { System.out.println(""); }); //ambiguous
    30         call(x -> { return (Object) null; }); //cyclic inference
    31         call(x -> { return null; }); //ambiguous
    32     }
    33 }

mercurial