1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
/*
* @test /nodynamiccopyright/
* @bug 6227936
* @summary Wrong type of inherited method using specialized type parameter
* @compile/fail/ref=Orig.out -XDrawDiagnostics Orig.java
*/
class GenericTest {
static class A<T extends B> {
T myB;
A(T myB) {this.myB = myB;}
T getB() {return myB;}
}
static class B<T extends C> {
T myC;
B(T myB) {this.myC = myC;}
T getC() {return myC;}
}
static class C {
C() {}
}
static class A1<T extends B1> extends A<T> {
A1(T myB) {super(myB);}
public void testMethod() {
// This next line fails, but should work
getB().getC().someMethod();
((C1)getB().getC()).someMethod();
}
}
static class B1<T extends C1> extends B<T> {
B1(T myC) {super(myC);}
}
static class C1 extends C {
public void someMethod() {}
}
}
|
