関連ワード:  java record types    java record type example    java record type parameter    java record type constructor    java record type vs lombok    java record type inheritance    java record type tostring    java 21 record types    java record to typescript    java 17 record types