SubtypeCompatibleWithSupertype

Misconception:

A variable of a subtype can hold a reference to an object of a subtype.

SubtypeCompatibleWithSupertype

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

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

Java

Subtyping Type Inheritance Reference

reference variable with given type referring to object of a supertype

Language Feature

Notional Machine

About This Site Contributors

Follow us on twitter to hear about new misconceptions.