| /* @test /nodynamiccopyright/ | |
| * @bug 7192246 | |
| * @summary check that default overrides are properly type-checked | |
| * @compile/fail/ref=Neg10.out -Werror -Xlint:unchecked -XDrawDiagnostics Neg10.java | |
| */ | |
| class Neg10 { | |
| interface I<X extends Exception> { | |
| default void m() throws X { } | |
| } | |
| static class C1 { | |
| public void m() throws Exception { } //unchecked (throws) override | |
| } | |
| static class C2<Z extends Exception> extends C1 implements I<Z> { } | |
| static class C3<Z extends Exception> implements I<Z> { | |
| public void m() throws Exception { } //unchecked (throws) override | |
| } | |
| } |