org.eclipse.jdt.ui.tests.refactoring/resources/RenameType/testAnnotation2/in/A.java

package p;


@interface A {
    String value() default "";
}

@interface Main {
   A child() default @A("Void");
}

@Main(child=@/*test*/A(""))
@A
class Client {
    @Deprecated
    @Main(/*implicit*/)
    @A()
    void bad() {
        final @A int local= 0;
    }
}