d4be9a13c8
Add type-checking support for default methods as per Featherweight-Defender document Reviewed-by: jjg, dlsmith
39 lines
942 B
Java
39 lines
942 B
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @summary check that re-abstraction works properly
|
|
* @compile/fail/ref=Neg03.out -XDallowDefaultMethods -XDrawDiagnostics Neg03.java
|
|
*/
|
|
|
|
class Neg03 {
|
|
interface A {
|
|
default void m() { Neg03.one(this); }
|
|
}
|
|
|
|
interface B {
|
|
default void m() { Neg03.two(this); }
|
|
}
|
|
|
|
interface C extends A, B {
|
|
default void m() { Neg03.one(this); }
|
|
}
|
|
|
|
static class X implements C, A { } //ok - ignore extraneous remix of A
|
|
|
|
interface D extends A, B {
|
|
void m(); // ok - m() is not reabstracted!
|
|
}
|
|
|
|
static class Y implements D, A { } // invalid - abstract D.m()
|
|
|
|
interface E extends A {
|
|
void m(); // reabstraction of m()
|
|
}
|
|
|
|
static class W implements D, E { } // invalid - abstracts D.m()/E.m()
|
|
|
|
static class Z implements D, A, B { } // invalid - abstract D.m()
|
|
|
|
static void one(Object a) { }
|
|
static void two(Object a) { }
|
|
}
|