pr110788: testcases

4 files changed, 42 insertions, 0 deletions

diff --git a/tests/bugs150/pr110788/Case1.java b/tests/bugs150/pr110788/Case1.java
new file mode 100644
index 000000000..f5a55d2df
--- /dev/null
+++ b/tests/bugs150/pr110788/Case1.java
@@ -0,0 +1,11 @@
+interface A<T> {}
+
+interface B<T> extends A<T> {}
+
+class C implements A<String> {}
+
+class D extends C {}
+
+aspect X {
+  declare parents: D implements B<Number>; // Can't do it, C implement A<String>
+}
diff --git a/tests/bugs150/pr110788/Case2.java b/tests/bugs150/pr110788/Case2.java
new file mode 100644
index 000000000..d995509bb
--- /dev/null
+++ b/tests/bugs150/pr110788/Case2.java
@@ -0,0 +1,9 @@
+interface A<T> {}
+
+class C implements A<String> {}
+
+class D extends C {}
+
+aspect X {
+  declare parents: D implements A<Number>; // Can't do it, C implements A<String>
+}
diff --git a/tests/bugs150/pr110788/Case3.java b/tests/bugs150/pr110788/Case3.java
new file mode 100644
index 000000000..726ca11cf
--- /dev/null
+++ b/tests/bugs150/pr110788/Case3.java
@@ -0,0 +1,11 @@
+interface A<T> {}
+
+interface B<T> extends A<T> {}
+
+class C implements A<String> {}
+
+class D extends C {}
+
+aspect X {
+  declare parents: D implements B<String>; // Can do it, parameterizations are compatible
+}
diff --git a/tests/bugs150/pr110788/Case4.java b/tests/bugs150/pr110788/Case4.java
new file mode 100644
index 000000000..726ca11cf
--- /dev/null
+++ b/tests/bugs150/pr110788/Case4.java
@@ -0,0 +1,11 @@
+interface A<T> {}
+
+interface B<T> extends A<T> {}
+
+class C implements A<String> {}
+
+class D extends C {}
+
+aspect X {
+  declare parents: D implements B<String>; // Can do it, parameterizations are compatible
+}