test/tools/javac/defaultMethods/Neg15.java

Wed, 07 Nov 2012 17:20:12 -0800

author
jjg
date
Wed, 07 Nov 2012 17:20:12 -0800
changeset 1402
a1dc543483fc
parent 1393
d7d932236fee
child 1415
01c9d4161882
permissions
-rw-r--r--

8003134: CheckResourceKeys issues
Reviewed-by: jjh, bpatel

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

mercurial