1 /* |
1 /* |
2 * @test /nodynamiccopyright/ |
2 * @test /nodynamiccopyright/ |
3 * @summary check that level skipping in default super calls is correctly rejected |
3 * @summary check that level skipping in default super calls is correctly rejected |
4 * @compile/fail/ref=Neg15.out -XDallowDefaultMethods -XDrawDiagnostics Neg15.java |
4 * @compile/fail/ref=Neg15.out -XDrawDiagnostics Neg15.java |
5 */ |
5 */ |
6 class Neg15 { |
6 class Neg15 { |
7 interface I { default void m() { } } |
7 interface I { default void m() { } } |
8 interface J extends I { default void m() { } } |
8 interface J extends I { default void m() { } } |
9 interface K extends I {} |
9 interface K extends I {} |