[Fact]
        public void ToString_RecordWithStaticMembers()
        {
            var src = @"
var c1 = new C1(42);
System.Console.Write(c1.ToString());

record C1(int I1)
{
    public static int field1 = 44;
    public const int field2 = 44;
    public static int P1 { set { } }
    public static int P2 { get { return 1; } set { } }
    public static int P3 { get { return 1; } }
}
";

            var comp = CreateCompilation(new[] { src, IsExternalInitTypeDefinition }, options: TestOptions.DebugExe);
            CompileAndVerify(comp, expectedOutput: "C1 { I1 = 42 }", verify: Verification.Skipped /* init-only */);
            comp.VerifyEmitDiagnostics();
        }

        [Fact]
        public void ToString_NestedRecord()
        {
            var src = @"
var c1 = new Outer.C1(42);
System.Console.Write(c1.ToString());

public class Outer
{
    public record C1(int I1);
}
";

            var comp = CreateCompilation(new[] { src, IsExternalInitTypeDefinition }, options: TestOptions.DebugExe);
            CompileAndVerify(comp, expectedOutput: "C1 { I1 = 42 }", verify: Verification.Skipped /* init-only */);
            comp.VerifyEmitDiagnostics();
        }