this code:

record R (@SafeVarargs String... s) {}

is accepted by the compiler when it shouldn't according to the spec, the annotation would be applicable to the accessor but the generated accessor won't have any varargs argument, no arguments at all actually.