[records] Spec for next version of Record Classes JEP

Gavin Bierman gavin.bierman at oracle.com
Mon Oct 19 16:34:47 UTC 2020

Following the announcement of JEP 395 [1] the latest version of the spec is now available at:


This covers the various bugs in an earlier draft that have been reported on this list. As per my earlier email this spec does not treat a non-propagating annotation in the case where an explicit accessor method has been declared as a compile-time error. I still think this is a better design, but if anyone feels strongly, please email the list!


[1] https://openjdk.java.net/jeps/395

More information about the amber-spec-experts mailing list