"Overriding Auto Generated Properties"

public record User(string Name, int Age) {
	public string Name { get; set; } = Name;
}