Sun, 04 Nov 2012 10:59:42 +0000
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
1 /*
2 * @test
3 * @bug 1240831
4 * @summary Certain classes should have been reported as abstract, but
5 * the compiler failed to detect this. This comes up when a
6 * subclass declares a method with the same name as an
7 * unimplemented, unaccessible method in a superclass. Even though
8 * the method has the same name, it does not override.
9 * @author turnidge
10 *
11 * @compile/fail -nowrite one/Parent.java two/Child.java
12 */