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

Reply via email to