d4be9a13c8
Add type-checking support for default methods as per Featherweight-Defender document Reviewed-by: jjg, dlsmith
17 lines
535 B
Java
17 lines
535 B
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @summary check that abstract methods are compatible with inherited defaults
|
|
* @compile/fail/ref=Neg05.out -XDallowDefaultMethods -XDrawDiagnostics Neg05.java
|
|
*/
|
|
|
|
class Neg05 {
|
|
interface IA1 { default Number m() { return Neg05.m1(this); } }
|
|
interface IA2 extends IA1 { default Integer m() { return Neg05.m2(this); } }
|
|
interface IA3 extends IA2 { Number m(); } //error
|
|
|
|
static class C implements IA3{}
|
|
|
|
static int m1(IA1 a) { return 0; }
|
|
static int m2(IA2 b) { return 0; }
|
|
}
|