GenericsWork: ITD testcode

2 files changed, 25 insertions, 0 deletions

diff --git a/tests/java5/generics/decp/Basic.aj b/tests/java5/generics/decp/Basic.aj
new file mode 100644
index 000000000..dee3872e6
--- /dev/null
+++ b/tests/java5/generics/decp/Basic.aj
@@ -0,0 +1,13 @@
+interface I<T>{ }
+
+public class Basic{
+
+  public static void main(String[]argv) {
+    Basic b = new Basic();
+    if (b instanceof I) throw new RuntimeException("Should implement I??");
+  }
+}
+
+aspect X{
+    declare parents: Basic implements I<String>;
+}
diff --git a/tests/java5/generics/decp/Basic2.aj b/tests/java5/generics/decp/Basic2.aj
new file mode 100644
index 000000000..d1127d1ed
--- /dev/null
+++ b/tests/java5/generics/decp/Basic2.aj
@@ -0,0 +1,12 @@
+// error, can't implement two variants of a generic type
+interface I<T>{ }
+
+public class Basic implements I<String> {
+
+  public static void main(String[]argv) {
+  }
+}
+
+aspect X{
+    declare parents: Basic implements I<Integer>; // error
+}