Thu, 21 Feb 2013 15:26:46 +0000
8007461: Regression: bad overload resolution when inner class and outer class have method with same name
Summary: Fix regression in varargs method resolution introduced by bad refactoring
Reviewed-by: jjg
1 /*
2 * Copyright (c) 2006, 2007, 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 6468384 6278587
27 * @summary Problem with underconstrained type variables
28 * @compile T6468384.java
29 */
31 import java.util.*;
33 public class T6468384 {
35 public class A {};
37 public class B extends A {};
39 public <T, V extends T> Set<T> newSet(V... objects) {
40 Set<T> set = new LinkedHashSet<T>();
41 for (T t : objects) {
42 set.add(t);
43 }
44 return set;
45 }
47 public static void main(String... args) {
48 T6468384 g = new T6468384();
50 // B << V => V :> B
51 // so B is inferred for V
53 // Then consider the return type:
54 // Set<A> >> Set<T> => A = T
55 // So A is inferred for T
56 Set<A> set1 = g.newSet(g.new B());
58 Set<A> set2 = g.<A,B>newSet(g.new B());
59 }
61 }