Moving a type nested in a record to its own file creates a duplicate primary constructor declaration in the new partial record declaration

[jnm2]

Version Used: 17.3.0-p3.0

R.cs

record R(int A)
{
    class C { }
}

💡 Move type to R.C.cs:

R.cs

// ❌ CS8863 Only a single record partial declaration may have a parameter list
//              ↓↓↓↓↓↓↓
partial record R(int A)
{
}

R.C.cs

// ❌ CS8863 Only a single record partial declaration may have a parameter list
//              ↓↓↓↓↓↓↓
partial record R(int A)
{
    class C { }
}

[CyrusNajmabadi]

Fixed with #72695