mcimadamore@1393: /*
mcimadamore@1393:  * @test /nodynamiccopyright/
mcimadamore@1393:  * @summary check that default method must have most specific return type
mcimadamore@1415:  * @compile/fail/ref=Neg04.out -XDrawDiagnostics Neg04.java
mcimadamore@1393:  */
mcimadamore@1393: 
mcimadamore@1393: class Neg04 {
mcimadamore@1393:     interface IA1 { Integer m(); }
mcimadamore@1393:     interface IA2 extends IA1 { default Number m() { return Neg04.m(this); } } //error
mcimadamore@1393: 
mcimadamore@1393:     abstract class C implements IA1, IA2 {}
mcimadamore@1393: 
mcimadamore@1393:     static int m(IA2 a) { return 0; }
mcimadamore@1393: }