399590

10 files changed, 107 insertions, 0 deletions

diff --git a/tests/bugs172/pr399590/Cage.java b/tests/bugs172/pr399590/Cage.java
new file mode 100644
index 000000000..cf3bfd546
--- /dev/null
+++ b/tests/bugs172/pr399590/Cage.java
@@ -0,0 +1,9 @@
+class LionCage extends Cage<Lion> {}
+class Lion extends Animal<LionCage> {}
+
+class Animal<T> { }
+
+class Bar {}
+
+public class Cage<T extends Animal<? extends Cage<T>>> extends Bar { }
+
diff --git a/tests/bugs172/pr399590/Cage2.java b/tests/bugs172/pr399590/Cage2.java
new file mode 100644
index 000000000..4da3e4711
--- /dev/null
+++ b/tests/bugs172/pr399590/Cage2.java
@@ -0,0 +1,13 @@
+class LionCage2 extends Cage2<Lion2> {}
+class Lion2 extends Animal2<LionCage2> {}
+
+class Animal2<T> { }
+
+class Bar2 {}
+
+public class Cage2<T extends Animal2<? extends Cage2<T>>> extends Bar2 { }
+
+aspect X {
+	declare parents: Cage2 implements java.io.Serializable;
+}
+
diff --git a/tests/bugs172/pr399590/five/Cage.java b/tests/bugs172/pr399590/five/Cage.java
new file mode 100644
index 000000000..f817ef10c
--- /dev/null
+++ b/tests/bugs172/pr399590/five/Cage.java
@@ -0,0 +1,9 @@
+//class LionCage extends Cage<Lion> {}
+//class Lion extends Animal<LionCage> {}
+
+class Animal<T> { }
+
+class Bar {}
+
+
+public class Cage<T extends Animal<?>> extends Bar { }
diff --git a/tests/bugs172/pr399590/five/Cage2.java b/tests/bugs172/pr399590/five/Cage2.java
new file mode 100644
index 000000000..94a3e4331
--- /dev/null
+++ b/tests/bugs172/pr399590/five/Cage2.java
@@ -0,0 +1,9 @@
+class Animal2<T> { }
+
+class Bar2 {}
+
+public class Cage2<T extends Animal2<?>> extends Bar2 { }
+
+aspect X {
+  declare parents: Cage2 implements java.io.Serializable;
+}
diff --git a/tests/bugs172/pr399590/four/Cage.java b/tests/bugs172/pr399590/four/Cage.java
new file mode 100644
index 000000000..68414b59e
--- /dev/null
+++ b/tests/bugs172/pr399590/four/Cage.java
@@ -0,0 +1,11 @@
+//class LionCage extends Cage<Lion> {}
+//class Lion extends Animal<LionCage> {}
+
+class Animal<T,R> { }
+
+class Bar {}
+
+interface XXX<T> {}
+interface YYY<T> {}
+
+public class Cage<T extends Animal<? super XXX<T>,YYY>> extends Bar { }
diff --git a/tests/bugs172/pr399590/four/Cage2.java b/tests/bugs172/pr399590/four/Cage2.java
new file mode 100644
index 000000000..9b9ba0f1a
--- /dev/null
+++ b/tests/bugs172/pr399590/four/Cage2.java
@@ -0,0 +1,13 @@
+class Animal2<T,Q> { }
+
+class Bar2 {}
+
+interface XXX2<T> {}
+
+interface YYY2<T> {}
+
+public class Cage2<T extends Animal2<? super XXX2<T>,YYY2>> extends Bar2 { }
+
+aspect X {
+  declare parents: Cage2 implements java.io.Serializable;
+}
diff --git a/tests/bugs172/pr399590/three/Cage.java b/tests/bugs172/pr399590/three/Cage.java
new file mode 100644
index 000000000..8882c45a4
--- /dev/null
+++ b/tests/bugs172/pr399590/three/Cage.java
@@ -0,0 +1,10 @@
+//class LionCage extends Cage<Lion> {}
+//class Lion extends Animal<LionCage> {}
+
+class Animal<T> { }
+
+class Bar {}
+
+interface XXX<T> {}
+
+public class Cage<T extends Animal<? super XXX<T>>> extends Bar { }
diff --git a/tests/bugs172/pr399590/three/Cage2.java b/tests/bugs172/pr399590/three/Cage2.java
new file mode 100644
index 000000000..d03ebd038
--- /dev/null
+++ b/tests/bugs172/pr399590/three/Cage2.java
@@ -0,0 +1,11 @@
+class Animal2<T> { }
+
+class Bar2 {}
+
+interface XXX2<T> {}
+
+public class Cage2<T extends Animal2<? super XXX2<T>>> extends Bar2 { }
+
+aspect X {
+  declare parents: Cage2 implements java.io.Serializable;
+}
diff --git a/tests/bugs172/pr399590/two/Cage.java b/tests/bugs172/pr399590/two/Cage.java
new file mode 100644
index 000000000..7cdc1af64
--- /dev/null
+++ b/tests/bugs172/pr399590/two/Cage.java
@@ -0,0 +1,9 @@
+
+class Animal<T,Q> { }
+
+class Bar {}
+
+class Intf {}
+
+public class Cage<T extends Animal<? extends Cage<T,Intf>,Intf>,Q> extends Bar { }
+
diff --git a/tests/bugs172/pr399590/two/Cage2.java b/tests/bugs172/pr399590/two/Cage2.java
new file mode 100644
index 000000000..6758be4ce
--- /dev/null
+++ b/tests/bugs172/pr399590/two/Cage2.java
@@ -0,0 +1,13 @@
+
+class Animal2<T,Q> { }
+
+class Bar2 {}
+
+class Intf2 {}
+
+public class Cage2<T extends Animal2<? extends Cage2<T,Intf2>,Intf2>,Q> extends Bar2 { }
+
+
+aspect X {
+	declare parents: Cage2 implements java.io.Serializable;
+}