Thu, 20 Dec 2012 16:24:18 -0800
8004982: JDK8 source with GPL header errors
Reviewed-by: ohair
1 /*
2 * @test /nodynamiccopyright/
3 * @summary check that abstract methods are discarded in overload resolution diags
4 * @compile/fail/ref=Neg12.out -XDrawDiagnostics Neg12.java
5 */
6 class Neg12 {
8 interface I1 {
9 default void m(String s) {};
10 }
12 interface I2 {
13 void m(String s);
14 }
16 static class B {
17 void m(Integer i) { }
18 }
20 static class C extends B implements I1 { }
21 static class D extends B implements I2 { }
23 void test(C c, D d) {
24 c.m();
25 d.m();
26 }
27 }