Proposal: Flow attributes on primary constructor parameters to generated fields

[sbomer]

Proposal: Flow attributes on primary constructor parameters to generated fields

[agocke]

Here's the most straightforward proposal I could think of: we simply copy the annotation from a primary constructor parameter to the generated field/property if possible.

More precisely, I think the proposal is to copy the attributes if compatible with the AttributeTargets. My understanding is that AttributeTargets aren't actually enforced by the runtime, so it is up to the compiler whether or not to respect them.

we simply copy the annotation from a primary constructor parameter to the generated field/property if possible.

I think the proposal is broader than just primary constructors, right? From broader context, I think the goal would be, for any "compiler-hoisted variable", if the source is a legal attribute target, and the destination is a legal attribute target, and the AttributeTargets on the attribute allow the attribute to appear on the target, the compiler would place an equivalent attribute on the corresponding compiler-generated variable.

[sbomer]

I think the proposal is broader than just primary constructors, right?

Yes, I agree it makes sense to extend the proposal to all cases like you described. I don't know all the cases, but I can at least think of the following:

• parameters of async/iterator methods
• method parameters captured by a lambda or local function

[jaredpar]

I agree we need a broader proposal here vs a specific one for primary constructors. Otherwise we will be back here for closures, records, etc ... Think the better path forward is a broader proposal that lets the IL linker get the info it needs without constraining the compiler from evolving its emit approach

[alrz]

For comparison, F# encodes the mapping itself in attributes (sharplab.io) although it annotates the properties instead of fields.

[agocke]

@jaredpar Should we make this issue a draft spec, or would you prefer something in dotnet/designs?

[sbomer]

I just realized C# already supports [property: ...] syntax for annotating record primary constructor parameters, so I don't think we need to consider record types here. That's helpful because it means we don't need to define behavior that affects the public API for primary constructor parameters (which I think would have to be a language spec?).

Are the implicit type parameters of nested types considered an implementation detail, or behavior specified by the language? For example, this prints System.Int32:

G<int>.N.M();
class G<T> {
    public class N {
        public static void M() {
            foreach (var p in typeof(N).GetGenericArguments())
                Console.WriteLine(p);
        }
    }
}

[sbomer]

I opened a broader version of the proposal at #73920. Happy to move it elsewhere if desired.

[sbomer]

Closing this - we can continue discussion in the broader proposal that's a superset of this one: #73920.