1392:352d130c47c5 | 1393:d7d932236fee |
---|---|
1 /* | |
2 * @test /nodynamiccopyright/ | |
3 * @summary check that default method must have most specific return type | |
4 * @compile/fail/ref=Neg04.out -XDallowDefaultMethods -XDrawDiagnostics Neg04.java | |
5 */ | |
6 | |
7 class Neg04 { | |
8 interface IA1 { Integer m(); } | |
9 interface IA2 extends IA1 { default Number m() { return Neg04.m(this); } } //error | |
10 | |
11 abstract class C implements IA1, IA2 {} | |
12 | |
13 static int m(IA2 a) { return 0; } | |
14 } |