Thu, 06 Jun 2013 15:33:40 +0100
8008627: Compiler mishandles three-way return-type-substitutability
Summary: Compiler should not enforce an order in how ambiguous methods should be resolved
Reviewed-by: jjg, vromero
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 7022054
4 *
5 * @summary Invalid compiler error on covariant overriding methods with the same erasure
6 * @compile/fail/ref=T7022054neg2.out -XDrawDiagnostics T7022054neg2.java
7 *
8 */
10 class T7022054neg2 {
11 static class A {
12 static A m(String s) { return null; }
13 }
14 static class B extends A {
15 static <X extends String> A m(X s) { return null; }
16 }
17 }