langtools/test/tools/javac/lambda/TargetType21.java
author mcimadamore
Tue, 08 Jan 2013 10:16:26 +0100
changeset 15038 3ad27d268874
parent 14547 86d8d242b0c4
child 15374 fb8f6acf09cc
permissions -rw-r--r--
8005179: Cleanup Resolve.AmbiguityError Summary: Linearize nested ambiguity errors Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     1
/*
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     2
 * @test /nodynamiccopyright/
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     3
 * @bug 8003280
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     4
 * @summary Add lambda tests
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     5
 *  check that candidates with cyclic type-inference are removed from the
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     6
 *          set of applicable methods
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     7
 * @compile/fail/ref=TargetType21.out -XDrawDiagnostics TargetType21.java
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     8
 */
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
     9
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    10
class TargetType21 {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    11
    interface SAM1 {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    12
        String m1(Integer n) throws Exception;
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    13
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    14
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    15
    interface SAM2 {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    16
        void m2(Integer n);
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    17
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    18
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    19
    interface SAM3<R,A> {
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    20
        R m3(A n);
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    21
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    22
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    23
    void call(SAM1 sam) { }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    24
    void call(SAM2 sam) { }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    25
    <R,A> void call(SAM3<R,A> sam) { }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    26
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    27
    void test() {
15038
3ad27d268874 8005179: Cleanup Resolve.AmbiguityError
mcimadamore
parents: 14547
diff changeset
    28
        call(x -> { throw new Exception(); }); //ambiguous
14547
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    29
        call(x -> { System.out.println(""); }); //ok - resolves to call(SAM2)
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    30
        call(x -> { return (Object) null; }); //error - call(SAM3) is not applicable because of cyclic inference
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    31
        call(x -> { return null; }); ////ok - resolves to call(SAM1)
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    32
    }
86d8d242b0c4 8003280: Add lambda tests
mcimadamore
parents:
diff changeset
    33
}