2. Unused polymorphism
•
Variables declared with general type,
used with more specific type
–
Ex: given a generic list that contains only
integers, report that the contents are
sorted
•
Also applicable to subtype
polymorphism
[Slowly and clearly explain the example.]
Polymorphism available in the source code but not used during execution.
“In the interest of time”, skip this section.
