Thu, 25 Jul 2013 14:51:40 +0100
8020843: javac crashes on accessibility check with method reference with typevar receiver
Summary: method reference overload check doesn't walk through type-variable receivers
Reviewed-by: jjg
1 /*
2 * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
24 /**
25 * @test
26 * @bug 8003280
27 * @summary Add lambda tests
28 * This test is for overloaded methods, verify that the specific method is
29 selected when type inference occurs
30 * @compile InferenceTest5.java
31 * @run main InferenceTest5
32 */
34 import java.util.List;
35 import java.io.File;
37 public class InferenceTest5 {
39 private static void assertTrue(boolean b) {
40 if(!b)
41 throw new AssertionError();
42 }
44 public static void main(String[] args) {
45 InferenceTest5 test = new InferenceTest5();
46 int n = test.method1((a, b) -> {} );
47 assertTrue(n == 1);
49 n = test.method1(() -> null);
50 assertTrue(n == 2);
52 n = test.method1(a -> null);
53 assertTrue(n == 3);
55 n = test.method1(a -> {});
56 assertTrue(n == 4);
58 n = test.method1(() -> {});
59 assertTrue(n == 5);
61 n = test.method1((a, b) -> 0);
62 assertTrue(n == 6);
64 n = test.method1((a, b) -> null);
65 assertTrue(n == 6);
67 n = test.method1((a, b) -> null, (a, b) -> null);
68 assertTrue(n == 7);
69 }
71 int method1(SAM1<String> s) {
72 return 1;
73 }
75 int method1(SAM2 s) {
76 return 2;
77 }
79 int method1(SAM3 s) {
80 return 3;
81 }
83 int method1(SAM4 s) {
84 return 4;
85 }
87 int method1(SAM5 s) {
88 return 5;
89 }
91 int method1(SAM6<?, ? super Integer> s) {
92 return 6;
93 }
95 int method1(SAM6<?, ?>... s) {
96 return 7;
97 }
99 static interface SAM1<T> {
100 void foo(List<T> a, List<T> b);
101 }
103 static interface SAM2 {
104 List<String> foo();
105 }
107 static interface SAM3 {
108 String foo(int a);
109 }
111 static interface SAM4 {
112 void foo(List<File> a);
113 }
115 static interface SAM5 {
116 void foo();
117 }
119 static interface SAM6<T, V> {
120 V get(T t, T t2);
121 }
122 }