C#9.0 recordのプロパティに属性・XMLドキュメントコメントを付ける
zenn.dev