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=Neg08.out -XDallowDefaultMethods -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 { |
8 default void m() { } | 8 default void m() { } |
9 } | 9 } |