I'm curious as to why we have the @Overrides annotation, but there is not a similar idiom for interfaces (such as @Implements or @Implementation). It seems like it'd be a useful feature, as you could require the interface you are implementing to be a value of the annotation.
Was this a conscious decision or just an overlooked one?
I found this question, but it doesn't seem to discuss why there wasn't a separate annotation created.