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