 Scala 2.11 basic declarations and definitions specification

The “Variance Annotations” section specifies variance positions and lower-bound widening, used when an immutable class's output type parameter is covariant while a method must accept a possibly broader output value.