Today, the following code will not cause any Stylecop diagnostics to be raised:

/// <summary>
/// Record.
/// </summary>
public record MyRecord(int Parameter);

This is in spite of the missing <param> tag for Parameter. Stylecop should report a diagnostic unless this is included:

/// <summary>
/// Record.
/// </summary>
/// <param name="Parameter">Parameter.</param>
public record MyRecord(int Parameter);

Because Parameter declares a property as well as a constructor parameter, it was agreed in #3770 that it should report SA1600 instead of the usual SA1611 for missing <param> tags.