using System;
public record Base
{
public string Foo { get; set; } = "Bar";
}
public record Sub
public string Foo2 { get; set; } = "Bar2";
public class Program
public static void Main()
Console.WriteLine(new Sub());