equal
deleted
inserted
replaced
1 /* |
1 /* @test /nodynamiccopyright/ |
2 * @test /nodynamiccopyright/ |
2 * @bug 7192246 |
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 -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> { |