mixed it up, and you also have an instance of B th...

# announcements

[devbridie]

mixed it up,
and you also have an instance of B that is an A B b = B().
Then it is legal to assign a Lion to b, however the specification for A does not allow this (it accepts only subtypes of Child), which a Lion is not