253109: testcode

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) {}
+
+}