| /* @test /nodynamiccopyright/ | |
| * @bug 7192246 | |
| * @summary check that abstract methods are compatible with inherited defaults | |
| * @compile/fail/ref=Neg05.out -XDrawDiagnostics Neg05.java | |
| */ | |
| class Neg05 { | |
| interface IA1 { default Number m() { return Neg05.m1(this); } } | |
| interface IA2 extends IA1 { default Integer m() { return Neg05.m2(this); } } | |
| interface IA3 extends IA2 { Number m(); } //error | |
| static class C implements IA3{} | |
| static int m1(IA1 a) { return 0; } | |
| static int m2(IA2 b) { return 0; } | |
| } |