1 /* @test /nodynamiccopyright/
2  * @bug 7192246
3  * @summary check that abstract methods are compatible with inherited defaults
4  * @compile/fail/ref=Neg05.out -XDrawDiagnostics Neg05.java
5  */
6 
7 class Neg05 {
m()8     interface IA1 { default Number m() { return Neg05.m1(this); } }
m()9     interface IA2 extends IA1 { default Integer m() { return Neg05.m2(this); } }
m()10     interface IA3 extends IA2 { Number m(); } //error
11 
12     static class C implements IA3{}
13 
m1(IA1 a)14     static int m1(IA1 a) { return 0; }
m2(IA2 b)15     static int m2(IA2 b) { return 0; }
16 }
17