jfranck@2020: /* @test /nodynamiccopyright/
jfranck@2020:  * @bug 7192246
mcimadamore@1393:  * @summary check that abstract methods are discarded in overload resolution diags
mcimadamore@1415:  * @compile/fail/ref=Neg12.out -XDrawDiagnostics Neg12.java
mcimadamore@1393:  */
mcimadamore@1393: class Neg12 {
mcimadamore@1393: 
mcimadamore@1393:     interface I1 {
mcimadamore@1393:         default void m(String s) {};
mcimadamore@1393:     }
mcimadamore@1393: 
mcimadamore@1393:     interface I2 {
mcimadamore@1393:         void m(String s);
mcimadamore@1393:     }
mcimadamore@1393: 
mcimadamore@1393:     static class B {
mcimadamore@1393:         void m(Integer i) { }
mcimadamore@1393:     }
mcimadamore@1393: 
mcimadamore@1393:     static class C extends B implements I1 { }
mcimadamore@1393:     static class D extends B implements I2 { }
mcimadamore@1393: 
mcimadamore@1393:     void test(C c, D d) {
mcimadamore@1393:         c.m();
mcimadamore@1393:         d.m();
mcimadamore@1393:     }
mcimadamore@1393: }