test/tools/javac/defaultMethods/Neg10.java

changeset 1415
01c9d4161882
parent 1393
d7d932236fee
child 2020
bb7271e64ef6
equal deleted inserted replaced
1414:843d3b191773 1415:01c9d4161882
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 }

mercurial