SubtypeCompatibleWithSupertype
DRAFT
Observed

SubtypeCompatibleWithSupertype
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