1 /* |
1 /* |
2 * @test /nodynamiccopyright/ |
2 * @test /nodynamiccopyright/ |
3 * @summary check that default overrides are properly type-checked |
3 * @summary check that default overrides are properly type-checked |
4 * @compile/fail/ref=Neg10.out -Werror -Xlint:unchecked -XDallowDefaultMethods -XDrawDiagnostics Neg10.java |
4 * @compile/fail/ref=Neg10.out -Werror -Xlint:unchecked -XDrawDiagnostics Neg10.java |
5 */ |
5 */ |
6 class Neg10 { |
6 class Neg10 { |
7 interface I<X extends Exception> { |
7 interface I<X extends Exception> { |
8 default void m() throws X { } |
8 default void m() throws X { } |
9 } |
9 } |