git: openjdk/amber: records-2: allow @Override to be applied to user defined accessors

[Vicente Romero]

Changeset: 163df346
Author:    Vicente Romero <vicente.romero at oracle.com>
Date:      2020-04-28 21:20:10 +0000
URL:       https://git.openjdk.java.net/amber/commit/163df346

allow @Override to be applied to user defined accessors

! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java
! test/langtools/tools/javac/records/RecordCompilationTests.java