/*

 * @test /nodynamiccopyright/

 * @summary check that re-abstraction works properly

 * @compile/fail/ref=Neg03.out -XDallowDefaultMethods -XDrawDiagnostics Neg03.java

 */

class Neg03 {

    interface A {

        default void m() { Neg03.one(this); }

    }

    interface B {

        default void m() { Neg03.two(this); }

    }

    interface C extends A, B {

        default void m() { Neg03.one(this); }

    }

    static class X implements C, A { } //ok - ignore extraneous remix of A

    interface D extends A, B {

      void m();  // ok - m() is not reabstracted!

    }

    static class Y implements D, A { } // invalid - abstract D.m()

    interface E extends A {

        void m();  // reabstraction of m()

    }

    static class W implements D, E { } // invalid - abstracts D.m()/E.m()

    static class Z implements D, A, B { } // invalid - abstract D.m()

    static void one(Object a) {  }

    static void two(Object a) {  }

}