Record Component attributes

[Remi Forax]

Hi all,
just to be sure, do we agree that a record component can be deprecated, synthetic, have a generic signature, have unknown attributes, have annotation and type annotations ?

so the attributes with a special meaning are
  SIGNATURE, DEPRECATED, SYNTHETIC, RUNTIME_VISIBLE_ANNOTATIONS, RUNTIME_VISIBLE_TYPE_ANNOTATIONS, RUNTIME_INVISIBLE_ANNOTATIONS and RUNTIME_INVISIBLE_TYPE_ANNOTATIONS.

said differently, it's all the attributes allowed on a field but CONSTANTVALUE which makes no sense on a record component.

regards,
Rémi