test/tools/javac/defaultMethods/Neg11.java

Thu, 10 Oct 2013 14:58:04 +0200

author
ihse
date
Thu, 10 Oct 2013 14:58:04 +0200
changeset 2094
343aeb2033f0
parent 2020
bb7271e64ef6
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8001931: The new build system whitespace cleanup
Reviewed-by: tbell, simonis, erikj

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

mercurial