1 files changed, 17 insertions, 0 deletions
diff --git a/tests/java5/generics/itds/AtOverride4.aj b/tests/java5/generics/itds/AtOverride4.aj
new file mode 100644
index 000000000..123125d94
--- /dev/null
+++ b/tests/java5/generics/itds/AtOverride4.aj
@@ -0,0 +1,17 @@
+// 4. parent and child placed by ITD, @override on child (no error)
+
+class Parent {
+}
+
+class Child extends Parent {
+}
+
+aspect Injector { 
+
+  public void Parent.method() {}  
+  @Override public void Child.method() {}  // OK, parent ITD'd
+
+  public Object Parent.method2() {return null;}  
+  @Override public String Child.method2() {return null;}  // OK, parent ITD'd, covariance
+
+}