test and fix for 165631: Dont allow multiple parameterizations in a hierarchy

2 files changed, 28 insertions, 0 deletions

diff --git a/tests/bugs160/pr165631/Bug.java b/tests/bugs160/pr165631/Bug.java
new file mode 100644
index 000000000..e1ceb22ad
--- /dev/null
+++ b/tests/bugs160/pr165631/Bug.java
@@ -0,0 +1,13 @@
+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>;
+}
diff --git a/tests/bugs160/pr165631/Bug2.java b/tests/bugs160/pr165631/Bug2.java
new file mode 100644
index 000000000..0754042e9
--- /dev/null
+++ b/tests/bugs160/pr165631/Bug2.java
@@ -0,0 +1,15 @@
+interface A<T> {}
+
+interface B<T> extends A<T> {}
+
+class C implements A<String> {}
+
+interface A1 {}
+
+class D extends C implements A1 {
+}
+
+aspect X {
+        declare parents: D implements B<Number>;
+}
+