253109: tests

2 files changed, 29 insertions, 0 deletions

diff --git a/tests/bugs163/pr253109/CodeOne.java b/tests/bugs163/pr253109/CodeOne.java
new file mode 100644
index 000000000..0f73cac0d
--- /dev/null
+++ b/tests/bugs163/pr253109/CodeOne.java
@@ -0,0 +1,16 @@
+import java.util.*;
+
+public aspect CodeOne {
+  before(): execution(* CodeOne.*(..)) && args(List<Number>) {}
+  before(): execution(* CodeOne.*(..)) && args(List<Integer>) {}
+
+  void m(List<Integer> li) {}
+
+  public void callm() {
+    List<Number> ln = new ArrayList<Number>();
+    List<Integer> li = new ArrayList<Integer>();
+    // m(ln);//not allowed
+    m(li);
+  }
+
+}
diff --git a/tests/bugs163/pr253109/CodeTwo.java b/tests/bugs163/pr253109/CodeTwo.java
new file mode 100644
index 000000000..ea5a3026b
--- /dev/null
+++ b/tests/bugs163/pr253109/CodeTwo.java
@@ -0,0 +1,13 @@
+import java.util.*;
+
+public aspect CodeTwo {
+  before(): execution(* CodeTwo.*(..)) && args(List<? extends Number>) {}
+
+  void m(List<Integer> li) {}
+
+  public void callm() {
+    List<? extends Number> lqn = new ArrayList<Number>();
+    // m(lqn);
+  }
+
+}