/* @test /nodynamiccopyright/ | |
* @bug 7192246 | |
* @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(); } | |
} | |
} |