final fields in record

[John Rose]

On Nov 14, 2019, at 11:17 PM, forax at univ-mlv.fr wrote:
> 
> the idea was more to single out the plain old class,
> by an accident of the history, enum fields can be non final but hidden class (and its non public counterpart VM anonymous class) and inline class already have their final fields as really final.

The time is coming, I hope, to fix this more generally.
That way we can remove the tricky stratification.

See https://bugs.openjdk.java.net/browse/JDK-8233873 <https://bugs.openjdk.java.net/browse/JDK-8233873>
and recent traffic on hotspot-compile-dev at ojn.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20191115/6d8cd447/attachment.html>