test/tools/javac/defaultMethods/Neg15.java

Tue, 10 Sep 2013 13:47:51 +0200

author
jfranck
date
Tue, 10 Sep 2013 13:47:51 +0200
changeset 2020
bb7271e64ef6
parent 1415
01c9d4161882
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8005222: Fixed bugs should have tests with bugid in @bug tag
Reviewed-by: jfranck, jjg
Contributed-by: Andreas Lundblad <andreas.lundblad@oracle.com>

     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 {
     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