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) 2003, 2004, 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 4836048 4868021 5030040 5052968 5056864
27 * @summary generics: compiler allows 1.4 code to override a bridge method
28 * @author gafter
29 *
30 * @compile OverrideBridge1.java
31 * @compile/fail -Werror -source 1.4 OverrideBridge2.java
32 * @compile -source 1.4 OverrideBridge2.java
33 * @compile OverrideBridge3.java
34 */
36 // ALLOW users to override bridge methods.
38 // Note the long list of bug numbers on this regression test. They
39 // indicate the number of times we've flip-flopped on this issue.
40 // 5030040 shows why we must give a diagnostic. 5052968 shows why it
41 // must be a warning.
43 class OverrideBridge1 {
44 static class A<T> {
45 public void foo(T t) { }
46 }
47 static class B extends A<String> {
48 public void foo(String t) { }
49 }
50 }