git: openjdk/jdk: 8241151: Incorrect lint warning for no definition of serialVersionUID in a record

Mon Sep 28 21:21:11 UTC 2020

Changeset: ac15d644
Author:    Vicente Romero <vromero at openjdk.org>
Date:      2020-09-28 21:20:14 +0000
URL:       https://git.openjdk.java.net/jdk/commit/ac15d644

8241151: Incorrect lint warning for no definition of serialVersionUID in a record

Co-authored-by: Bernard Blaser <bsrbnd at gmail.com>
Co-authored-by: Vicente Romero <vicente.romero at oracle.com>
Reviewed-by: jjg

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