199130: test and fix - checking aspect bounds for generic aspects

2 files changed, 20 insertions, 0 deletions

diff --git a/tests/bugs161/pr199130/Complex.java b/tests/bugs161/pr199130/Complex.java
index 36e23645e..f82ea6e34 100644
--- a/tests/bugs161/pr199130/Complex.java
+++ b/tests/bugs161/pr199130/Complex.java
@@ -2,3 +2,8 @@ interface A {}
 interface B {}
 abstract aspect Parent< V extends A > {}
 abstract aspect Child< V extends A & B > extends Parent< V > {}
+
+public class Complex {
+  public static void main(String [] argv) {
+  }
+}
diff --git a/tests/bugs161/pr199130/Complex2.java b/tests/bugs161/pr199130/Complex2.java
new file mode 100644
index 000000000..8d2933530
--- /dev/null
+++ b/tests/bugs161/pr199130/Complex2.java
@@ -0,0 +1,15 @@
+interface A {}
+interface B {}
+abstract aspect Parent< V extends A > {}
+abstract aspect Child< V extends A & B > extends Parent< V > {}
+
+aspect Foo extends Child<AExtension> {}
+
+class AImpl implements A {}
+
+class AExtension extends AImpl implements B {}
+
+public class Complex2 {
+  public static void main(String [] argv) {
+  }
+}