/*
 * @test /nodynamiccopyright/
 * @summary check that level skipping in default super calls is correctly rejected
 * @compile/fail/ref=Neg15.out -XDrawDiagnostics Neg15.java
 */
class Neg15 {
    interface I { default void m() {  } }
    interface J extends I { default void m() {  } }
    interface K extends I {}

    static class C implements J, K {
        void foo() { K.super.m(); }
    }
}