Drop record's body if it does not define any members CS-R1130
Anti-pattern
Major
Autofix Record is an entity that is primarily (but not limited to) used for supporting immutable data models and is commonly used in serialization and deserialization. Consider dropping the record's body if it takes in one or more parameters and does not define any members.
Bad Practice
record Point(int x, int y, int z)
{
}
Recommended
record Point(int x, int y);