From d8c084d286dd115764da0c63a824b8c36f71c28b Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Fri, 29 Jul 2005 12:48:58 +0000
Subject: [PATCH] genericitds: using wildcard '? extends' with typevariables.

---
 .../java5/generics/itds/GenericMethodITD1.aj  | 17 +++++++++++++++++
 .../java5/generics/itds/GenericMethodITD2.aj  | 19 +++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 tests/java5/generics/itds/GenericMethodITD1.aj
 create mode 100644 tests/java5/generics/itds/GenericMethodITD2.aj

diff --git a/tests/java5/generics/itds/GenericMethodITD1.aj b/tests/java5/generics/itds/GenericMethodITD1.aj
new file mode 100644
index 000000000..d1ed5ad73
--- /dev/null
+++ b/tests/java5/generics/itds/GenericMethodITD1.aj
@@ -0,0 +1,17 @@
+import java.util.*;
+
+class Base { }
+
+public class GenericMethodITD1 {
+
+  public static void main(String[] argv) {
+    List<A> as = new ArrayList<A>();
+    new Base().simple(as); // this is OK, <E>s upper bound is object
+  }
+}
+
+class A {}
+
+aspect X {
+  <E> void Base.simple(List<? extends E> list) {}
+}
diff --git a/tests/java5/generics/itds/GenericMethodITD2.aj b/tests/java5/generics/itds/GenericMethodITD2.aj
new file mode 100644
index 000000000..8deb71775
--- /dev/null
+++ b/tests/java5/generics/itds/GenericMethodITD2.aj
@@ -0,0 +1,19 @@
+import java.util.*;
+
+class Base { }
+
+public class GenericMethodITD2 {
+
+  public static void main(String[] argv) {
+    List<A> as = new ArrayList<A>();
+    new Base().simple(as); // error
+  }
+}
+
+class Super {}
+
+class A extends Super {}
+
+aspect X {
+  <E extends Number> void Base.simple(List<? extends E> list) {}
+}
-- 
2.39.5