"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".