---

This section details on the original issue you should resolve

<issue_title>Add support for [Id] annotations on record primary constructor parameters</issue_title>
<issue_description>Now that proper support for records (in referenced assemblies too) is implemented, it would be great to be able to annotate the ctor parameter itself, rather than the more verbose (and harder to discover) syntax for annotating the backing property generated for it. This would allow to go from this:

publicrecordDeposit([property:Id(0)]decimalAmount)

to this:

publicrecordDeposit([Id(0)]decimalAmount)

The generator could just treat an Id attribute on a same-name ctor parameter as a property of the type as if was applied to the property, simplifying its usage in this particular scenario and saving non-trivial amount of keystrokes (for even just a few parameters, having to addproperty: to every property can quickly become annoying).

Related:#9092</issue_description>

<agent_instructions>Make sure to add tests which exercise this path! Add both serialization tests and codegenerator output verification tests</agent_instructions>

Comments on the Issue (you are@copilot in this section)

@ReubenBondThis would be great, if someone can make it work. It might involve finding the primary ctor for a record and matching the attributes on the ctor params with the resulting properties.