Proposal: Field-targeting attributes on auto-properties

[HaloFour]

This was mentioned on CodePlex but was not implemented in C# 6.0.

I'm proposing allowing field-targeted attributes on auto-properties. The compiler would automatically attach that attribute to the generated backing field.

[field: NonSerialized]
public string Name { get; set; }

equivalent to:

[NonSerialized]
private string name;

public string Name {
    get { return this.name; }
    set { this.name = value; }
}

This would bring auto-properties into parity with events which have supported this syntax since C# 1.0:

[field: NonSerialized]
public event EventHandler Foo;

[alrz]

It is surprising that it is not already supported! Should be extended on records too

class Foo [Ctor] ([Param][field/property/method/return: Attr] int Value);

for ctor maybe [method: Ctor] class Foo is better.

[jcouv]

Language issue was moved to dotnet/csharplang#42
Implementation started for 7.3: #22512