Relevant locator: Relations between types, Conformance, parameterized types and covariant parameters. This specifies when an iterator of a subtype can be viewed as an iterator of a supertype; it does not imply that existing iterator contents are numerically converted.
