Attributes for Positional Records' primary constructor

[pinkfloydx33]

Is it possible to add attributes to the constructor of a positional record?

The most I've been able to find are ways to add attributes to the type itself, the constructor parameters, the properties and their backing fields:

[Baz]
public record Foo(
    [Baz] [field: Baz] [property: Baz] int Bar
);

public class BazAttribute : Attribute {}

SharpLab

I tried various other targets such as method and constructor, neither of which are valid.

I'll note that I don't currently have a specific use case for this; however playing around with records and being a reflection-junkie, I found myself curious. Is there some attribute target I'm unaware of?

[YairHalberstadt]

discussed at: #3650

[pinkfloydx33]

Bleh, I don't know how I missed that. I guess my search-Foo ain't what it used to be. Thanks!