|
1 /* @test /nodynamiccopyright/ |
|
2 * @bug 7192246 |
|
3 * @summary check that default overrides are properly type-checked |
|
4 * @compile/fail/ref=Neg10.out -Werror -Xlint:unchecked -XDrawDiagnostics Neg10.java |
|
5 */ |
|
6 class Neg10 { |
|
7 interface I<X extends Exception> { |
|
8 default void m() throws X { } |
|
9 } |
|
10 |
|
11 static class C1 { |
|
12 public void m() throws Exception { } //unchecked (throws) override |
|
13 } |
|
14 |
|
15 static class C2<Z extends Exception> extends C1 implements I<Z> { } |
|
16 |
|
17 static class C3<Z extends Exception> implements I<Z> { |
|
18 public void m() throws Exception { } //unchecked (throws) override |
|
19 } |
|
20 } |