148508, 265418: tests and fixes: array and varargs subtype patterns

1 files changed, 29 insertions, 0 deletions

diff --git a/tests/bugs164/pr265418/A.java b/tests/bugs164/pr265418/A.java
new file mode 100644
index 000000000..b68ca4da7
--- /dev/null
+++ b/tests/bugs164/pr265418/A.java
@@ -0,0 +1,29 @@
+public aspect A {
+
+  public static void a(Object... os) {}
+  public static void b(String... ss) {}
+  public static void c(Integer... is) {}
+
+  public static void d(Object[] os) {}
+  public static void e(String[] ss) {}
+  public static void f(Integer[] is) {}
+
+
+  before(Object[] args): call(* *(Object+...)) && args(args) {
+    System.out.println("varargs "+thisJoinPoint);
+  }
+
+  before(Object[] args): call(* *(Object+[])) && args(args) {
+    System.out.println("arrays  "+thisJoinPoint);
+  }
+
+  public static void main(String []argv) {
+    a();
+    b();
+    c();
+    d(null);
+    e(null);
+    f(null);
+  }
+
+}