If my record implements an interface, with a field accessor implicitly implementing a method, it should be an instance of what the @Override annotation is meant to cover.
interface I { int f(); }
record R(@Override int f) implements I {}
But seems javac doesn't not check it. Is it still a good idea to use it? Why javac ignores @Override on record fields?