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