"Assigning Constructor Parameters"

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

void Test() {
	var user = new User("Ben", 30);
	Console.WriteLine(user.Name); // Ben
	Console.WriteLine(user.Age); // 30
	Console.WriteLine(user.Note); // Ben, aged 30
}


Code snippet taken from "Two Decades of C#: A Reference - C# 9".