253109: tests

1 files changed, 16 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);
+  }
+
+}