0N/A/*
553N/A * Copyright (c) 2005, 2007, Oracle and/or its affiliates. All rights reserved.
0N/A * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
0N/A *
0N/A * This code is free software; you can redistribute it and/or modify it
0N/A * under the terms of the GNU General Public License version 2 only, as
0N/A * published by the Free Software Foundation.
0N/A *
0N/A * This code is distributed in the hope that it will be useful, but WITHOUT
0N/A * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
0N/A * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
0N/A * version 2 for more details (a copy is included in the LICENSE file that
0N/A * accompanied this code).
0N/A *
0N/A * You should have received a copy of the GNU General Public License version
0N/A * 2 along with this work; if not, write to the Free Software Foundation,
0N/A * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
0N/A *
553N/A * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
553N/A * or visit www.oracle.com if you need additional information or have any
553N/A * questions.
0N/A */
0N/A
0N/A/**
0N/A * @test
0N/A * @bug 6227936
0N/A * @summary Wrong type of inherited method using specialized type parameter
0N/A * @compile/fail Orig.java
0N/A */
0N/A
0N/Aclass GenericTest {
0N/A static class A<T extends B> {
0N/A T myB;
0N/A A(T myB) {this.myB = myB;}
0N/A T getB() {return myB;}
0N/A }
0N/A static class B<T extends C> {
0N/A T myC;
0N/A B(T myB) {this.myC = myC;}
0N/A T getC() {return myC;}
0N/A }
0N/A static class C {
0N/A C() {}
0N/A }
0N/A
0N/A static class A1<T extends B1> extends A<T> {
0N/A A1(T myB) {super(myB);}
0N/A public void testMethod() {
0N/A // This next line fails, but should work
0N/A getB().getC().someMethod();
0N/A ((C1)getB().getC()).someMethod();
0N/A }
0N/A }
0N/A static class B1<T extends C1> extends B<T> {
0N/A B1(T myC) {super(myC);}
0N/A }
0N/A static class C1 extends C {
0N/A public void someMethod() {}
0N/A }
0N/A}