"Overriding Auto Generated Properties"
public record User(string Name, int Age) { public string Name { get; set; } = Name; }
Code snippet taken from
"Two Decades of C#: A Reference - C# 9"
.