Thu, 06 Jun 2013 15:33:40 +0100
8008627: Compiler mishandles three-way return-type-substitutability
Summary: Compiler should not enforce an order in how ambiguous methods should be resolved
Reviewed-by: jjg, vromero
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 8003280
4 * @summary Add lambda tests
5 * Missing cast to SAM type that causes type inference to not work.
6 * @compile/fail/ref=InferenceTest_neg5.out -XDrawDiagnostics InferenceTest_neg5.java
7 */
9 import java.util.*;
11 public class InferenceTest_neg5 {
12 public static void main(String[] args) {
13 InferenceTest_neg5 test = new InferenceTest_neg5();
14 test.method1(n -> {});
15 test.method1((SAM1<String>)n -> {});
16 test.method1((SAM1<Integer>)n -> {n++;});
17 test.method1((SAM1<Comparator<String>>)n -> {List<String> list = Arrays.asList("string1", "string2"); Collections.sort(list,n);});
18 test.method1((SAM1<Thread>)n -> {n.start();});
19 }
21 interface SAM1<X> {
22 void m1(X arg);
23 }
25 <X> void method1(SAM1<X> s) {}
26 }