1 /* @test /nodynamiccopyright/
2  * @bug 7192246
3  * @summary check that default method must have most specific return type
4  * @compile/fail/ref=Neg04.out -XDrawDiagnostics Neg04.java
5  */
6 
7 class Neg04 {
m()8     interface IA1 { Integer m(); }
m()9     interface IA2 extends IA1 { default Number m() { return Neg04.m(this); } } //error
10 
11     abstract class C implements IA1, IA2 {}
12 
m(IA2 a)13     static int m(IA2 a) { return 0; }
14 }
15