Mon, 02 Sep 2013 22:38:36 +0100
8016177: structural most specific and stuckness
Reviewed-by: jjg, vromero
Contributed-by: maurizio.cimadamore@oracle.com
1 /*
2 * Copyright (c) 2012, 2013, 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 * check that diamond inference is applied when using raw constructor reference qualifier
29 * @compile/fail/ref=MethodReference43.out -XDrawDiagnostics MethodReference43.java
30 */
31 public class MethodReference43 {
33 interface SAM1 {
34 Foo<?> m(String s);
35 }
37 interface SAM2 {
38 Foo<?> m(Integer s);
39 }
41 interface SAM3 {
42 Foo<?> m(Object o);
43 }
45 interface SAM4 {
46 Foo<Number> m(Integer o);
47 }
49 static class Foo<X extends Number> {
50 Foo(X x) { }
51 }
53 static void m1(SAM1 s) { }
55 static void m2(SAM2 s) { }
57 static void m3(SAM3 s) { }
59 static void m4(SAM4 s) { }
61 static void m5(SAM1 s) { }
62 static void m5(SAM2 s) { }
63 static void m5(SAM3 s) { }
64 static void m5(SAM4 s) { }
66 public static void main(String[] args) {
67 m1(Foo::new);
68 m2(Foo::new);
69 m3(Foo::new);
70 m4(Foo::new);
71 m5(Foo::new);
72 }
73 }