So when you have a superclass extended by a subclass, the subclass is a type of the superclass. But this does not mean that you can save the superclass as a type of the subclass.
Consider your...