1 files changed, 13 insertions, 0 deletions
diff --git a/tests/bugs/pr53981/Proceeding2.aj b/tests/bugs/pr53981/Proceeding2.aj
new file mode 100644
index 000000000..f77854c83
--- /dev/null
+++ b/tests/bugs/pr53981/Proceeding2.aj
@@ -0,0 +1,13 @@
+import org.aspectj.testing.Tester;
+
+public class Proceeding2 {
+    public static void main(String[] args) {
+        Tester.checkFailed("Proceed with a receiver should be treated as a method call, not the special form");
+    }
+    static aspect A {
+        void around() : execution(void main(String[])) {
+            Proceeding2.proceed(null); // BUG: treated as proceed(Object);
+        }
+    }
+    static void proceed(Object o) {}
+}
+\ No newline at end of file