Scala 2.12 types specification (source code)

= Scala 2.12 types specification
{c}

https://www.scala-lang.org/files/archive/spec/2.12/03-types.html

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.