using System;
using System.Text.Json;
class A {}
class B : A {
public string foo { get; set; } = "bar";
}
public class Program
{
public static void Main()
A a = (A)(new B());
Console.WriteLine(JsonSerializer.Serialize(a));