@override - another case involving abstract ITDs

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/java5/generics/itds/AtOverride7.aj b/tests/java5/generics/itds/AtOverride7.aj
new file mode 100644
index 000000000..cb6235187
--- /dev/null
+++ b/tests/java5/generics/itds/AtOverride7.aj
@@ -0,0 +1,17 @@
+import java.util.*;
+
+abstract class Parent {
+
+}
+
+class Child extends Parent {
+
+  @Override String method1() {return null;}
+
+}
+
+aspect Injector { 
+
+  public abstract Object Parent.method1();
+
+}