test/tools/javac/defaultMethods/Neg15.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 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 {}

mercurial