test/tools/javac/defaultMethods/Neg08.java

Tue, 05 Feb 2013 18:55:13 +0000

author
jjh
date
Tue, 05 Feb 2013 18:55:13 +0000
changeset 1546
2480aec9a3f1
parent 1415
01c9d4161882
child 2020
bb7271e64ef6
permissions
-rw-r--r--

8007504: Remove @ignore from tests that no longer need it
Reviewed-by: mcimadamore

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @summary check that default overrides are properly type-checked
     4  * @compile/fail/ref=Neg08.out -XDrawDiagnostics Neg08.java
     5  */
     6 class Neg08 {
     7     interface I {
     8         default void m() { }
     9     }
    11     static class C1 {
    12         void m() { } //weaker modifier
    13     }
    15     static class C2 extends C1 implements I { }
    17     static class C3 implements I {
    18         void m() { } //weaker modifier
    19     }
    20 }

mercurial