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