The compiler should enforce the constraints implied by @Target:

Give an error if an ElementType is repeated.

Enforce an annotation's Target by giving an error if an
annotation uses an anapplicable attribute type for the annotated
element.