Per code review feedback on JDK-8236695 http://mail.openjdk.java.net/pipermail/core-libs-dev/2020-January/064220.html the specification of the explicit constructor for java.lang.Record could give more guidance on its usage.