Wed, 07 Nov 2012 17:20:12 -0800
8003134: CheckResourceKeys issues
Reviewed-by: jjh, bpatel
mcimadamore@1393 | 1 | /* |
mcimadamore@1393 | 2 | * @test /nodynamiccopyright/ |
mcimadamore@1393 | 3 | * @summary check that level skipping in default super calls is correctly rejected |
mcimadamore@1393 | 4 | * @compile/fail/ref=Neg15.out -XDallowDefaultMethods -XDrawDiagnostics Neg15.java |
mcimadamore@1393 | 5 | */ |
mcimadamore@1393 | 6 | class Neg15 { |
mcimadamore@1393 | 7 | interface I { default void m() { } } |
mcimadamore@1393 | 8 | interface J extends I { default void m() { } } |
mcimadamore@1393 | 9 | interface K extends I {} |
mcimadamore@1393 | 10 | |
mcimadamore@1393 | 11 | static class C implements J, K { |
mcimadamore@1393 | 12 | void foo() { K.super.m(); } |
mcimadamore@1393 | 13 | } |
mcimadamore@1393 | 14 | } |