Updated Draft specs for JEP 359 (Records)

[Alex Buckley]

On 11/26/2019 8:48 AM, Dan Smith wrote:
> Here's my slightly-tweaked version of this note:
> 
>> It is a limitation of the `class` file that, while a method parameter or a
>> module may be marked `ACC_MANDATED` ([4.7.24], [4.7.25]), there is no
>> equivalent way to flag compiler-generated methods and fields which are not
>> considered implementation artifacts (JLS 13.1).
>> This limitation means that reflective APIs may not accurately indicate the
>> mandated status of such members.

Thanks. (I note the change from "oversight in the design of" to 
"limitation of" :-) )

I don't see any changes to 
http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191125/specs/records-jvms.html 
?

Alex