```cs record Foo { public int X { get; init; } public int Y { get; init; } = 0; } var foo = new Foo(); // RG0020: X should be initialized. ```