Должен ли я использовать @Override в Java для полей записи? ⇐ JAVA

[Anonymous]

Если моя запись реализует интерфейс с методом доступа к полю, неявно реализующим метод, она должна быть экземпляром того, что должна охватывать аннотация @Override.

Код: Выделить всё

interface I { int f(); }
record R(@Override int f) implements I {}

Но, похоже, javac этого не проверяет. Это все еще хорошая идея использовать его? Почему javac игнорирует @Override в полях записи?

Подробнее здесь: https://stackoverflow.com/questions/798 ... ord-fields