Discussion: annotations on the parameters of the record's primary constructor.

[Jason5Lee]

Currently (.NET 5 rc2), the annotations on the parameters of the record's primary constructor only affect the constructor parameters but not the property. The decompilation of the following code

public sealed record Email([EmailAddress] string Address) {}

is

public sealed class Email : IContactInfo, IEquatable<Email>
{
	public string Address { get; init; }

	public Email([EmailAddress] string Address)
	{
		this.Address = Address;
	}

	// ...
}

which is not what I expect. I want something like

public sealed class EmailRecord : IContactInfo, IEquatable<EmailRecord>
{
	[EmailAddress]
	public string Address { get; }

	public EmailRecord(string address)
	{
		Address = address;
	}

       // ...
}

It's very useful when working with data validation in Model. I want an option to attach annotation on the property, or just attach the annotations on both constructor parameter and property.

[svick]

You can do it like this:

public sealed record Email([property: EmailAddress] string Address) {}