From 377ed8f4b1569214fab207dd915daadda22d2831 Mon Sep 17 00:00:00 2001
From: aclement <aclement>
Date: Mon, 3 Nov 2008 18:53:33 +0000
Subject: [PATCH] 253109: testcode

---
 tests/bugs163/pr253109/CodeThree.java | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tests/bugs163/pr253109/CodeThree.java

diff --git a/tests/bugs163/pr253109/CodeThree.java b/tests/bugs163/pr253109/CodeThree.java
new file mode 100644
index 000000000..821eb3827
--- /dev/null
+++ b/tests/bugs163/pr253109/CodeThree.java
@@ -0,0 +1,13 @@
+import java.util.*;
+
+public aspect CodeThree {
+  before(): execution(* CodeThree.*(..)) && args(List<Integer>) {} // yes
+  before(): execution(* CodeThree.*(..)) && args(ArrayList<Integer>) {} // yes - runtime check
+  before(): execution(* CodeThree.*(..)) && args(List<Number>) {} // no
+  before(): execution(* CodeThree.*(..)) && args(ArrayList<Number>) {} // no
+  before(): execution(* CodeThree.*(..)) && args(List<? extends Number>) {} // yes
+  before(): execution(* CodeThree.*(..)) && args(ArrayList<? extends Number>) {} // yes - runtime check
+
+  void m(List<Integer> li) {}
+
+}
-- 
2.39.5