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
}