test/tools/javac/lambda/typeInference/InferenceTest6.java

Fri, 30 May 2014 12:54:16 +0200

author
jlahoda
date
Fri, 30 May 2014 12:54:16 +0200
changeset 2410
e64bb2f5f0cf
parent 0
959103a6100f
permissions
-rw-r--r--

8031967: For some sources compiler compiles for ever
Summary: Avoid creating DeferredTypes for method calls with method calls as receivers if the site can be determined reliably
Reviewed-by: mcimadamore, vromero
Contributed-by: maurizio.cimadamore@oracle.com, jan.lahoda@oracle.com

aoqi@0 1 /*
aoqi@0 2 * @test /nodynamiccopyright/
aoqi@0 3 * @bug 8003280 8016177
aoqi@0 4 * @summary Add lambda tests
aoqi@0 5 * Missing cast to SAM type that causes type inference to not work.
aoqi@0 6 * @compile -XDrawDiagnostics InferenceTest6.java
aoqi@0 7 */
aoqi@0 8
aoqi@0 9 import java.util.*;
aoqi@0 10
aoqi@0 11 public class InferenceTest6 {
aoqi@0 12 public static void main(String[] args) {
aoqi@0 13 InferenceTest6 test = new InferenceTest6();
aoqi@0 14 test.method1(n -> {});
aoqi@0 15 test.method1((SAM1<String>)n -> {});
aoqi@0 16 test.method1((SAM1<Integer>)n -> {n++;});
aoqi@0 17 test.method1((SAM1<Comparator<String>>)n -> {List<String> list = Arrays.asList("string1", "string2"); Collections.sort(list,n);});
aoqi@0 18 test.method1((SAM1<Thread>)n -> {n.start();});
aoqi@0 19 }
aoqi@0 20
aoqi@0 21 interface SAM1<X> {
aoqi@0 22 void m1(X arg);
aoqi@0 23 }
aoqi@0 24
aoqi@0 25 <X> void method1(SAM1<X> s) {}
aoqi@0 26 }

mercurial