tests/bugs/pr53981/Proceeding2.aj


1
2
3
4
5
6
7
8
9
10
11
12
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) {}
}