1 files changed, 25 insertions, 0 deletions
diff --git a/tests/errors/BadAround.java b/tests/errors/BadAround.java
new file mode 100644
index 000000000..79e564557
--- /dev/null
+++ b/tests/errors/BadAround.java
@@ -0,0 +1,25 @@
+public class BadAround {
+
+}
+
+class C {
+    public String m(String s) { return "hi"; }
+    public int mi() { return 2; }
+}
+
+aspect A {
+    Object around(): call(String C.m(..)) {
+        return new Integer(2);
+    }
+    Object around(Object a): call(String C.m(..)) && args(a) {
+        return proceed(new Integer(2));
+    }
+
+    Object around(): call(int C.mi()) {
+        return "2";
+    }
+
+    int around(): call(String C.m(..)) { // ERR, return type mismatch
+        return 2;
+    }
+}