Updated Draft specs for JEP 359 (Records)

[Gavin Bierman]

> On 26 Nov 2019, at 19:28, Alex Buckley <alex.buckley at oracle.com> wrote:
> 
> 
> 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 ?

Should be there now.

Thanks,
Gavin