1 /* |
1 /* |
2 * @test /nodynamiccopyright/ |
2 * @test /nodynamiccopyright/ |
3 * @summary check that default method must have most specific return type |
3 * @summary check that default method must have most specific return type |
4 * @compile/fail/ref=Neg04.out -XDallowDefaultMethods -XDrawDiagnostics Neg04.java |
4 * @compile/fail/ref=Neg04.out -XDrawDiagnostics Neg04.java |
5 */ |
5 */ |
6 |
6 |
7 class Neg04 { |
7 class Neg04 { |
8 interface IA1 { Integer m(); } |
8 interface IA1 { Integer m(); } |
9 interface IA2 extends IA1 { default Number m() { return Neg04.m(this); } } //error |
9 interface IA2 extends IA1 { default Number m() { return Neg04.m(this); } } //error |