SupertypeIncompatibleWithSubtype
DRAFT
Observed

SupertypeIncompatibleWithSubtype
Incorrect

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

Correct

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