SubtypeCompatibleWithSupertype
DRAFT

Incorrect

A variable of a subtype can reference an object of a supertype

Correct

A variable of a subtype cannot reference an object of a supertype

Stay up-to-date

Follow us on  twitter to hear about new misconceptions.