genericitds: using wildcard '? extends' with typevariables.

1 files changed, 20 insertions, 0 deletions

diff --git a/tests/java5/generics/itds/GenericMethodITD3.aj b/tests/java5/generics/itds/GenericMethodITD3.aj
new file mode 100644
index 000000000..f12c39c37
--- /dev/null
+++ b/tests/java5/generics/itds/GenericMethodITD3.aj
@@ -0,0 +1,20 @@
+import java.util.*;
+
+class Base { }
+
+public class GenericMethodITD3 {
+
+  public static void main(String[] argv) {
+    List<A> as = new ArrayList<A>();
+    List<B> bs = new ArrayList<B>();
+    Base.simple(as,bs);
+  }
+
+  class A {}
+  class B extends A {}
+}
+
+
+aspect X {
+  <E> void Base.simple(List<E> one,List<? extends E> two) {}
+}