org.aspectj/tests/bugs161/pr198196/MarkerAspect3.java

aspect MarkerAspect3  { // VerifyError

        declare parents: Foo implements Marker;

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