1 files changed, 20 insertions, 0 deletions
diff --git a/tests/java5/generics/itds/ParameterizedMethodITD3.aj b/tests/java5/generics/itds/ParameterizedMethodITD3.aj
new file mode 100644
index 000000000..806c48c48
--- /dev/null
+++ b/tests/java5/generics/itds/ParameterizedMethodITD3.aj
@@ -0,0 +1,20 @@
+import java.util.*;
+
+class Base { }
+
+public class ParameterizedMethodITD3 {
+
+  public static void main(String[] argv) {
+    List<B> bs = new ArrayList<B>();
+    new Base().simple(bs); // error: B is not a super type of A
+  }
+}
+
+class A {}
+
+class B extends A {}
+
+
+aspect X {
+  void Base.simple(List<? super A> list) {}
+}