1 /* @test /nodynamiccopyright/
2  * @bug 7192246
3  * @summary check that level skipping in default super calls is correctly rejected
4  * @compile/fail/ref=Neg15.out -XDrawDiagnostics Neg15.java
5  */
6 class Neg15 {
m()7     interface I { default void m() {  } }
m()8     interface J extends I { default void m() {  } }
9     interface K extends I {}
10 
11     static class C implements J, K {
foo()12         void foo() { K.super.m(); }
13     }
14 }
15