test/tools/javac/lambda/TargetType21.java

Thu, 21 Feb 2013 15:27:05 +0000

author
mcimadamore
date
Thu, 21 Feb 2013 15:27:05 +0000
changeset 1600
3fef0cae83b3
parent 1510
7873d37f5b37
child 2000
4a6acc42c3a1
permissions
-rw-r--r--

8008444: Inherited generic functional descriptors are merged incorrectly
Summary: Missing call to Types.createMethodWithThrownTypes
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