I would want something like this

class Person(BaseModel):
    name: str = Field(..., repr=True)
    kind: str = Field(..., repr=False)

class Child(Person):
    kind: Literal["child"]

To be able to automatically inherit the annotations on the base Person class however the above gives

>>> Child(name='Bobby')
Child(name='Bobby', kind='child')

If instead, I define as

class Child(Person):
    kind: Literal["child"] = Field(..., repr=False)

then I get

>>> Child(name='billy', kind="child")
Child(name='billy')

This isn't awful for simple cases here, but I have a case where I need to define hundreds of different specializations of kind (while allowing users to define their own) - hence the need for the generic str at the Person base class, and I'd rather not object to have Field(..., repr=False) in every single spot. Similarly, pydantic doesn't seem to catch that inheritance of incompatible values happens:

class Child(Person):
    kind: int = 10

with

>>> Child(name='Bobby')
Child(name='Bobby', kind=10)

where I'd have expected that the creation of the class here would have failed given that int is not a subtype of str.