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
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * @test /nodynamiccopyright/ |
aoqi@0 | 3 | * @bug 7022054 |
aoqi@0 | 4 | * |
aoqi@0 | 5 | * @summary Invalid compiler error on covariant overriding methods with the same erasure |
aoqi@0 | 6 | * @compile/fail/ref=T7022054neg2.out -XDrawDiagnostics T7022054neg2.java |
aoqi@0 | 7 | * |
aoqi@0 | 8 | */ |
aoqi@0 | 9 | |
aoqi@0 | 10 | class T7022054neg2 { |
aoqi@0 | 11 | static class A { |
aoqi@0 | 12 | static A m(String s) { return null; } |
aoqi@0 | 13 | } |
aoqi@0 | 14 | static class B extends A { |
aoqi@0 | 15 | static <X extends String> A m(X s) { return null; } |
aoqi@0 | 16 | } |
aoqi@0 | 17 | } |