Withdrawn: 8257598: Clarify what component values are used in Record::equals

Fri Dec 11 04:30:55 UTC 2020

On Fri, 11 Dec 2020 02:07:50 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> Please review this patch which modifies the spec for method java.lang.Record::equals. It states that the implementation of this method should use the record fields for the comparison instead of the accessors.
> 
> TIA,
> Vicente

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.java.net/jdk/pull/1742