tests/bugs161/pr198196/MarkerAspect1.java


1
2
3
4
5
6
7
8
9
10
11
12
13

aspect MarkerAspect1  { // VerifyError

        declare parents: Foo implements Marker;

        public String Foo.toString() {
                new Runnable() {
                        public void run() {
                                super.toString();
                        }
                }.run();
                return "oranges";
        }
}