From .NET 6.0.300 and up, 'param' docs on the primary constructor now automatically propagate to the 'summary' doc on the property.
Original answer below.
As canton7 points out this is still under development.
The best workaround right now to document the property and the parameters is to define the property explicitly, whilst keeping the record positional:
/// <summary>
/// Version record
/// </summary>
/// <param name="Major">Major constructor parameter</param>
/// <param name="Minor">Minor constructor paramater</param>
public record Version(int Major, int Minor)
{
/// <summary>
/// Major Property
/// </summary>
public int Major { get; init; } = Major;
/// <summary>
/// Minor property
/// </summary>
public int Minor { get; init; } = Minor;
}
This is slightly shorter than defining the constructor yourself, but more usefully, once support is added you can move the documentation to the primary constructor whilst knowing that this won't change the generated code in any way. Also it is necessary to do it this way if you want to inherit from another positional record.