RFR: [Backport] JDK14-8235778: No compilation error reported when a record is declared in a local class

Mon Jan 27 23:26:14 UTC 2020

Looks good

Maurizio

On 27/01/2020 22:45, Vicente Romero wrote:
> Please review backport of bug [1] into JDK14. The fix was initially 
> pushed to JDK15. The fix for JDK14 can be seen at [2]. The initial 
> review thread for the fix that got pushed into JDK15 can be seen at [3].
>
> Thanks,
> Vicente
>
> [1] https://bugs.openjdk.java.net/browse/JDK-8235778
> [2] http://cr.openjdk.java.net/~vromero/8235778_jdk14/webrev.00/
> [3] 
> https://mail.openjdk.java.net/pipermail/compiler-dev/2019-December/014076.html