1 files changed, 27 insertions, 0 deletions
diff --git a/tests/java5/generics/itds/AtOverride.aj b/tests/java5/generics/itds/AtOverride.aj
new file mode 100644
index 000000000..9571b2218
--- /dev/null
+++ b/tests/java5/generics/itds/AtOverride.aj
@@ -0,0 +1,27 @@
+// should give *no* errors....
+class Parent {
+  // declared in Parent, overridden in Child
+  public void parent_child() {} // AAA
+
+  // declared in Parent, overridden in Injector
+  public void parent_injector() {} // BBB
+}
+
+class Child extends Parent {
+  // works
+  @Override public void parent_child() {} // AAA
+
+  // must override a superclass method
+  @Override public void injector_child() {} // CCC
+}
+
+aspect Injector {
+  public void Parent.injector_child() {} // CCC
+  public void Parent.injector_injector() {} // DDD
+
+  // must override a superclass method
+  @Override public void Child.parent_injector() {} // BBB
+
+  // must override a superclass method
+  @Override public void Child.injector_injector() {} // DDD
+}