Ensure Primary Constructor Parameter Member Generation Coverage

• When a primary constructor parameter is used, the compiler captures the constructor parameter in a private field with a compiler-generated name.
  If a primary constructor parameter isn't used in the body of the type, no private field is captured. (That rule prevents accidentally allocating two copies of a primary constructor parameter that's passed to a base constructor.)
• If the type includes the record modifier, the compiler instead synthesizes a public property with the same name as the primary constructor parameter.
• For record class types, if a primary constructor parameter uses the same name as a base primary constructor, that property is a public property of the base record class type. It isn't duplicated in the derived record class type. These properties aren't generated for non-record types.
  See https://learn.microsoft.com/en-us/dotnet/csharp/programming-guide/classes-and-structs/instance-constructors#primary-constructors

リンクされている primary constructors のドキュメントから始め、次に、リポジトリにある primary constructors のパラメーターについての既存のカバレッジを探します。private-field capture、省略されたフィールド、record properties、継承された record properties のケースを、non-record との区別も含めて確認します。記載された各動作がテストまたは例でカバーされ、関連するテストスイートが成功すれば完了です。