7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith
/*
* @test /nodynamiccopyright/
* @summary check that default overrides are properly type-checked
* @compile/fail/ref=Neg07.out -XDallowDefaultMethods -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
}
}