1/* @test /nodynamiccopyright/
2 * @bug 7192246
3 * @summary check that default overrides are properly type-checked
4 * @compile/fail/ref=Neg08.out -XDrawDiagnostics Neg08.java
5 */
6class Neg08 {
7    interface I {
8        default void m() { }
9    }
10
11    static class C1 {
12        void m() { } //weaker modifier
13    }
14
15    static class C2 extends C1 implements I { }
16
17    static class C3 implements I {
18        void m() { } //weaker modifier
19    }
20}
21