2019:77d395862700 | 2020:bb7271e64ef6 |
---|---|
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=Neg08.out -XDrawDiagnostics Neg08.java | 4 * @compile/fail/ref=Neg08.out -XDrawDiagnostics Neg08.java |
5 */ | 5 */ |
6 class Neg08 { | 6 class Neg08 { |
7 interface I { | 7 interface I { |