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