Can System.Text.Json's source generation deal with inheritance?

[SuperJMN]

Like serializarion/deserialization Zoo?

Zoo
{
     public List<Animal> { get; set; }
}

abstract class Animal 
{
}

class Cat : Animal { }
class Dog : Animal { }

If so, how?
Thanks :)

[KennethHoff]

What do you expect/want to happen here?

Given the following:

class Zoo // Added `class` here
{
     public List<Animal> Animals { get; set; } // I added a name here
}

abstract class Animal 
{
    public string Name { get; set; }
}

class Cat : Animal 
{
	public int PurrDecibel { get; set; }
}
class Dog : Animal 
{ 
	public bool BarksAtMailman { get; set; }
}

var zoo = new Zoo 
{
	Animals = new()
	{
		new Cat()
		{
			Name = "My Cat",
			PurrDecibel = 80,
		},
		new Dog()
		{
			Name = "My Dog",
			BarksAtMailman = true,
		},
	},
};

JsonConverter.Serialize(zoo);

What is expected here?

This?

{
	"animals": [
		{
			"name": "My Cat"
		},
		{
			"name": "My Dog",
		}
	]
}

or this?

{
	"animals": [
		{
			"name": "My Cat",
			"purrDecibel": 80
		},
		{
			"name": "My Dog",
			"barksAtMailman": true
		}
	]
}

or even this?

{
	"animals": [
		{
			"name": "My Cat",
			"purrDecibel": 80,
			"barksAtMailman": false // The default value for a bool
		},
		{
			"name": "My Dog",
			"purrDecibel": 0, // The default value for an int
			"barksAtMailman": true
		}
	]
}

[AartBluestoke]

or even

{
	"animals": [
		{
                       "$type": "Cat",
			"name": "My Cat",
			"purrDecibel": 80,
		},
		{
                       "$type": "Dog",
			"name": "My Dog",
			"barksAtMailman": true
		}
	]
}

which has the problem of what if you get a

		{
                       "$type": "Tiger",
			"name": "Tigger",
			"onLeash": true
		}

• which library is supposed to implement the specialised tiger serialisation handler? - the animal class? in which case the animal source code requires knowledge of all child types?
• the tiger library - in which case is the serialiser expected to scan the entire available namespace for objects descending from Animal on each attempt to load a previously un-serialised type?
• is it some type of convention, and it "should just work"? - who sets/defines the convention?