FYI, a change for JDK-8236695: "java.lang.Record should be declared with an explicit constructor" out for review on core-libs is out for review on core-libs-dev: http://mail.openjdk.java.net/pipermail/core-libs-dev/2020-January/064207.html -Joe