[vips7L]

Records are structural types. Null restricted types are in draft: https://openjdk.org/jeps/8303099

[htuyfjsdkfw]

Records in Java are nominal. In fact, it is syntax sugar for a class.