Hi, A while ago I submitted https://bugs.openjdk.java.net/browse/JDK-8243057. It was not triaged yet, did I submit it in the wrong place? Also, the Record docs at [1] has a typo: "Objects.equals(this.c(), r.c()" is missing a closing ). [1] https://docs.oracle.com/en/java/javase/14/docs/api/java.base/java/lang/Record.html#equals(java.lang.Object)