Scala 2.12 types specification
= 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.