/* | |
* @test /nodynamiccopyright/ | |
* @bug 6399361 | |
* @summary java.lang.Override specification should be revised | |
* @author Peter von der Ah\u00e9 | |
* @compile/fail/ref=Private.out -XDrawDiagnostics Private.java | |
*/ | |
public class Private { | |
private void m() {} | |
} | |
class Bar extends Private { | |
@Override | |
private void m() {} | |
} |