When defining a record with positional parameters, IDE1006 will tell you to format names as properties, and then tell you to format them back to parameters.
Actual Behavior:

and then

Expected Behavior:
My proposal is that IDE1006 simply ignores parameters of record declarations as their usage matches property semantics.