Ah, just seeing that you explicitely forbid to specify `ConstraintTarget` on types and fields. Where else except executables could it legally be specified then? The rule above ("if neither on a method nor a constructor, it implies {@code ANNOTATED_ELEMENT}") implies that other legal locations exist.