In/co/contra-variance是类型构造函数F[T]的一个属性。
F是协变的，如果对于所有A <: B，F[A] <: F[B]，F是反变的，如果对于所有A <: B，F[B] <: F[A]，F是不变的，如果对于所有A <: B，F[A]和F[B]是<:不相关的。
类型参数和类型成员在Scala 2和Scala 3中是不同的东西。
对于类型参数，可以在申报地点设置差异

trait F[+T] // co-variance
trait F[-T] // contra-variance
trait F[T] // invariance

或在调用位置

trait F[T]
type G[+T] = F[_ <: T] // co-variance
type G[-T] = F[_ >: T] // contra-variance

在Java中没有+/-，所以类型参数的变量必须总是在调用点设置为? extends ...、? super ...。
对于Scala中的类型成员，也没有+/-，因此必须在调用点设置方差

trait F { type T }
type G[+U] = F { type T <: U } // co-variance 
type G[-U] = F { type T >: U } // contra-variance

类型参数代码

trait P[+TT] {
  val vv: TT
}

trait P1 extends P[Product] {
  val vv: Product
}

trait P2 extends P1 with P[Tuple1[Int]] {
  val vv: Tuple1[Int]
}

可以在Scala 2中转换为类型成员代码，如下所示

trait P {
  type TT
  val vv: TT1 forSome {type TT1 >: TT} // just val vv: _ >: TT is illegal here: unbound wildcard type
}

trait P1 extends P {
  type TT <: Product
  val vv: Product
}

trait P2 extends P1 with P {
  type TT <: Tuple1[Int]
  val vv: Tuple1[Int]
}

由于TT1 forSome {type TT1 >: TT} =:= Any，它等于

// (*)

trait P {
  type TT
  val vv: Any
}

trait P1 extends P {
  type TT <: Product
  val vv: Product
}

trait P2 extends P1 with P {
  type TT <: Tuple1[Int]
  val vv: Tuple1[Int]
}

由于存在类型在Scala 3中被推荐为路径依赖类型，因此在Scala 3中可以被翻译为（*）或

trait P {
  type TT

  trait Inner {
    type TT1 >: TT
    val vv: TT1
  }

  val i: Inner
}

trait P1 extends P {
  type TT <: Product
}

trait P2 extends P1 with P {
  type TT <: Tuple1[Int]
}