Mercurial > jdk8-mips64-public > langtools / file revision
test/tools/javac/lambda/TargetType21.java@5ddecb91d843
test/tools/javac/lambda/TargetType21.java
Tue, 12 Mar 2013 16:02:43 +0000
- author
- mcimadamore
- date
- Tue, 12 Mar 2013 16:02:43 +0000
- changeset 1628
- 5ddecb91d843
- parent 1510
- 7873d37f5b37
- child 2000
- 4a6acc42c3a1
- permissions
- -rw-r--r--
8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
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 }
