| changeset 19934 | 1d8232b1aa18 |
| parent 14547 | 86d8d242b0c4 |
| 19933:5182bc65845b | 19934:1d8232b1aa18 |
|---|---|
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=Neg11.out -XDrawDiagnostics Neg11.java |
4 * @compile/fail/ref=Neg11.out -XDrawDiagnostics Neg11.java |
5 */ |
5 */ |
6 class Neg11 { |
6 class Neg11 { |
7 interface I { |
7 interface I { |