Wrong decompilation of record struct without primary constructor

[mmusu3]

Input code

class RecordStructTests
{
    record struct S1(int Value);

    record struct S2
    {
        public int Value;

        public S2(int value)
        {
            Value = value;
        }

        public S2(int a, int b)
        {
            Value = a + b;
        }
    }

    record struct S3
    {
        public int Value;

        public S3(int value)
        {
            Value = value;
        }
    }

    // This also generates a hidden backing field
    record struct S4(int value)
    {
        public int Value = value;
    }
}

Erroneous output

internal class RecordStructTests
{
	private record struct S1(int Value);

	private record struct S2(int value) // This primary constructor should not be here
	{
		public int Value;

		public S2(int value)
		{
			Value = value;
		}

		public S2(int a, int b)
		{
			Value = a + b;
		}
	}

	private record struct S3(int value) // This primary constructor should not be here
	{
		public int Value = value;

		// Missing constructor
	}

	private record struct S4(int value) // This primary constructor is expected
	{
		public int Value = value;
	}
}

This one was tricky to find because the compiler/language behavior is not intuitive.

Details

• Version in use: commit c0c5559