Because @Override is a @Target(METHOD) annotation, it‘s automatically permitted on record component declarations. It would normally cause the annotation to be copied to the generated accessor method, but in this case it’s a SOURCE-retention annotation so there's nothing to do, and the annotation is ignored.

Note that the annotation does not mean that the generated accessor method for the record is overriding something.

Also note that a hand-written accessor method in a record class can also always use @Override regardless of supertype methods (see JLS §9.6.4.4):

If a method declaration in class or interface Q is annotated with @Override, then one of the following three conditions must be true, or a compile-time error occurs:

...

Q is a record class (§8.10), and the method is an accessor method for a record component of Q (§8.10.3)

For additional discussion, see this compile-dev@ thread and Error Prone issue #5174.