Fwd: RFR: JDK-8238239: java.lang.Record spec clarifications

[Vicente Romero]

forwarding to compiler dev, I need a reviewer for this change,

Thanks,
Vicente


-------- Forwarded Message --------
Subject: 	RFR: JDK-8238239: java.lang.Record spec clarifications
Date: 	Tue, 4 Feb 2020 15:38:02 -0500
From: 	Vicente Romero <vicente.romero at oracle.com>
To: 	core-libs-dev <core-libs-dev at openjdk.java.net>



Please review the fix for [1] at [2] along with the corresponding CSR at 
[3]. The fix clarifies the specification for java.lang.Record. Please 
see the CSR for more detail,

Thanks,
Vicente

PS, thanks to John Rose for proposing this fix

[1] https://bugs.openjdk.java.net/browse/JDK-8238239
[2] http://cr.openjdk.java.net/~vromero/8238239/webrev.00/
[3] https://bugs.openjdk.java.net/browse/JDK-8238240