test and fix for 125080 - mixing numbers of types in a generic type hierarchy

2 files changed, 31 insertions, 0 deletions

diff --git a/tests/bugs151/pr125080/Test.java b/tests/bugs151/pr125080/Test.java
new file mode 100644
index 000000000..2beaa138b
--- /dev/null
+++ b/tests/bugs151/pr125080/Test.java
@@ -0,0 +1,11 @@
+import java.util.*;
+
+interface AspectInterface<T, S> { }
+
+abstract aspect AbstractAspect<T> implements AspectInterface<T, Integer> {}	
+
+aspect ConcreteAspect extends AbstractAspect<String> { 
+
+  public static void main(String []argv) {
+  }
+}
diff --git a/tests/bugs151/pr125080/Test2.java b/tests/bugs151/pr125080/Test2.java
new file mode 100644
index 000000000..a6a02bdaf
--- /dev/null
+++ b/tests/bugs151/pr125080/Test2.java
@@ -0,0 +1,20 @@
+import java.util.*;
+
+abstract aspect AbstractAspect<T> implements AspectInterface<T, Integer> {}	
+
+interface AspectInterface<T, S extends Number> { }
+
+aspect ConcreteAspect extends AbstractAspect<Student> { 
+  public static void main(String []argv) {
+  }
+}
+
+class Student {
+    private String name;
+    
+    public Student(String n) {
+	name = n;
+    }
+    
+    public String toString() { return name; }
+}