Currently we cannot use a Java record as an @IdClass, even though that’s a perfect example of a record.