hg: jdk/jdk: 8235778: No compilation error reported when a record is declared in a local class

[vicente.romero at oracle.com]

Changeset: 255cae042245
Author:    vromero
Date:      2019-12-16 15:33 -0500
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/255cae042245

8235778: No compilation error reported when a record is declared in a local class
Reviewed-by: mcimadamore

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