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());

    }

}