In scala, how could a covariant type parameter be an upper bound of an abstract type, but not another invariant type parameter?

Question

The following code demonstrates it clearly:

trait Poly1Group[-IUB, +OUB] {

  trait Case[-I <: IUB] {

    type Out &