generics: testcase for decp'ing parameterized type onto a generic type that implements a parameterized type using a type variable type parameter ;)

1 files changed, 18 insertions, 0 deletions

diff --git a/tests/java5/generics/decp/Basic6.aj b/tests/java5/generics/decp/Basic6.aj
new file mode 100644
index 000000000..6aa0a9b25
--- /dev/null
+++ b/tests/java5/generics/decp/Basic6.aj
@@ -0,0 +1,18 @@
+interface I<T>{ }
+interface K<T>{ }
+
+public class Basic6<J> implements I<J> {
+
+  public static void main(String[]argv) {
+    Basic6 b6 = new Basic6();
+    if (!(b6 instanceof I)) 
+      throw new RuntimeException("Basic6 should be instanceof I");
+    if (!(b6 instanceof K)) 
+      throw new RuntimeException("Basic6 should be instanceof K");
+  }
+
+}
+
+aspect X {
+  declare parents: Basic6 implements K<Integer>;
+}