Mercurial > jdk8-mips64-public > langtools / file revision
test/tools/javac/lambda/TargetType24.java@e64bb2f5f0cf
test/tools/javac/lambda/TargetType24.java
Fri, 30 May 2014 12:54:16 +0200
- author
- jlahoda
- date
- Fri, 30 May 2014 12:54:16 +0200
- changeset 2410
- e64bb2f5f0cf
- parent 2000
- 4a6acc42c3a1
- child 2525
- 2eb010b6cb22
- 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
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 8003280
4 * @summary Add lambda tests
5 * check case of nested method calls with lambda expression
6 * @compile/fail/ref=TargetType24.out -XDrawDiagnostics TargetType24.java
7 */
9 class TargetType24 {
11 interface F<A, B> {
12 B f(A a);
13 }
15 interface FSub<A, B> extends F<A,B> { }
17 static class Array<A> {
18 boolean forAll(final F<A, Boolean> f) {
19 return false;
20 }
22 String forAll(final FSub<A, String> f) {
23 return "";
24 }
26 String forAll2(final FSub<A, String> f) {
27 return "";
28 }
29 }
31 void test(Array<String> as, final Array<Character> ac) {
32 final boolean b1 = as.forAll((String s) -> ac.forAll((Character c) -> false)); //ok
33 final boolean b2 = as.forAll(s -> ac.forAll(c -> false)); //ambiguous
34 final boolean b3 = as.forAll((String s) -> ac.forAll(c -> false)); //ambiguous
35 final boolean b4 = as.forAll(s -> ac.forAll((Character c) -> false)); //ambiguous
36 final String s1 = as.forAll2(s -> ac.forAll2(c -> "")); //ok
37 final boolean b5 = as.forAll(s -> ac.forAll(c -> "" )); //fail
38 final String s2 = as.forAll2(s -> ac.forAll2(c -> false)); //fail
39 final boolean b6 = as.forAll((F<String, Boolean>)s -> ac.forAll((F<Character, Boolean>)c -> "")); //fail
40 final String s3 = as.forAll((FSub<String, String>)s -> ac.forAll((FSub<Character, String>)c -> false)); //fail
41 }
42 }
