[records] New draft spec for JEP 359

Gavin Bierman gavin.bierman at oracle.com
Fri Jan 10 13:31:30 UTC 2020

Happy new year everyone! An updated version of the records spec is available at:


(which currently points to http://cr.openjdk.java.net/~gbierman/jep359/jep359-20200110/specs/records-jls.html)

This addresses:

* Removes `final` modifier on record components
* Adding missing annotation target PARAMETER 
* Corrects discussion of @SafeVarargs annotation
* Forbids capture of local variables in a local record
* Clarifies implicit formal parameter list in a compact constructor


More information about the amber-spec-experts mailing list