A draft language spec for records is available at: http://cr.openjdk.java.net/~gbierman/8222777/8222777-20190823/specs/records-jls.html <http://cr.openjdk.java.net/~gbierman/8222777/8222777-20190823/specs/records-jls.html> This spec doesn’t yet discuss varargs records - to appear in the next draft. All comments welcomed! Thanks, Gavin