class T { @interface A { String value() default ""; } @A(<caret>42) void bar() { } }