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 * @summary check that default method must have most specific return type
4 * @compile/fail/ref=Neg04.out -XDrawDiagnostics Neg04.java
5 */
7 class Neg04 {
8 interface IA1 { Integer m(); }
9 interface IA2 extends IA1 { default Number m() { return Neg04.m(this); } } //error
11 abstract class C implements IA1, IA2 {}
13 static int m(IA2 a) { return 0; }
14 }