test/tools/javac/defaultMethods/Neg04.java

changeset 1415
01c9d4161882
parent 1393
d7d932236fee
child 2020
bb7271e64ef6
equal deleted inserted replaced
1414:843d3b191773 1415:01c9d4161882
1 /* 1 /*
2 * @test /nodynamiccopyright/ 2 * @test /nodynamiccopyright/
3 * @summary check that default method must have most specific return type 3 * @summary check that default method must have most specific return type
4 * @compile/fail/ref=Neg04.out -XDallowDefaultMethods -XDrawDiagnostics Neg04.java 4 * @compile/fail/ref=Neg04.out -XDrawDiagnostics Neg04.java
5 */ 5 */
6 6
7 class Neg04 { 7 class Neg04 {
8 interface IA1 { Integer m(); } 8 interface IA1 { Integer m(); }
9 interface IA2 extends IA1 { default Number m() { return Neg04.m(this); } } //error 9 interface IA2 extends IA1 { default Number m() { return Neg04.m(this); } } //error

mercurial