jdk-24/langtools/test/tools/javac/defaultMethods/Neg07.java
Andreas Lundblad fae7d60062 8005222: Fixed bugs should have tests with bugid in @bug tag
Reviewed-by: jfranck, jjg
2013-09-10 13:47:51 +02:00

22 lines
476 B
Java

/* @test /nodynamiccopyright/
* @bug 7192246
* @summary check that default overrides are properly type-checked
* @compile/fail/ref=Neg07.out -XDrawDiagnostics Neg07.java
*/
class Neg07 {
interface I {
default int m() { return 1; }
}
static class C1 {
public void m() { } //incompatible return
}
static class C2 extends C1 implements I { }
static class C3 implements I {
public void m() { } //incompatible return
}
}