Index: AnnotationTest.java =================================================================== RCS file: /home/eclipse/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/AnnotationTest.java,v retrieving revision 1.108 diff -u -r1.108 AnnotationTest.java --- AnnotationTest.java 13 Jun 2005 13:55:56 -0000 1.108 +++ AnnotationTest.java 21 Jun 2005 08:27:12 -0000 @@ -3892,7 +3892,6 @@ "X.java", "public interface X {\n" + " Zork z;\n" + - " @Override\n" + " X clone();\n" + "}\n", }, @@ -5393,4 +5392,30 @@ "Return type for the method is missing\n" + "----------\n"); } + //https://bugs.eclipse.org/bugs/show_bug.cgi?id=94759 + public void test168() { + this.runNegativeTest( + new String[] { + "X.java", + "interface I {\n" + + " @Override I clone();\n" + + " void foo();\n" + + "}\n" + + "\n" + + "interface J extends I {\n" + + " @Override void foo();\n" + + "}\n", + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " @Override I clone();\n" + + " ^^^^^^^\n" + + "The method clone() of type I must override a superclass method\n" + + "----------\n" + + "2. ERROR in X.java (at line 7)\n" + + " @Override void foo();\n" + + " ^^^^^\n" + + "The method foo() of type J must override a superclass method\n" + + "----------\n"); + } }