JDK 14 record type representation in classfile format?

[Luke Hutchison]

Sorry for posting to the wrong list.

On Sat, Mar 21, 2020 at 12:00 PM Remi Forax <forax at univ-mlv.fr> wrote:

> there is a link just below the JVM spec about record because as you said,
> it's a preview feature
>
> https://docs.oracle.com/javase/specs/jvms/se14/preview/specs/records-jvms.html


Thanks for the link. Records still define private fields. Is there any
reason to believe that the private fields listed in a
record's classfile will not always have an exact 1:1 correspondence
to record_component_info entries? i.e. is the information (names,
types, arity, etc.) always exactly equivalent between both places?