Tue, 06 Mar 2012 13:28:05 +0000
7144506: Attr.checkMethod should be called after inference variables have been fixed
Summary: Unify post-inference sanity check with Attr.checkMethod
Reviewed-by: jjg, dlsmith
duke@1 | 1 | /* |
duke@1 | 2 | * @test |
duke@1 | 3 | * @bug 1240831 |
duke@1 | 4 | * @summary Certain classes should have been reported as abstract, but |
duke@1 | 5 | * the compiler failed to detect this. This comes up when a |
duke@1 | 6 | * subclass declares a method with the same name as an |
duke@1 | 7 | * unimplemented, unaccessible method in a superclass. Even though |
duke@1 | 8 | * the method has the same name, it does not override. |
duke@1 | 9 | * @author turnidge |
duke@1 | 10 | * |
duke@1 | 11 | * @compile/fail -nowrite one/Parent.java two/Child.java |
duke@1 | 12 | */ |