類型與泛型求和類型不匹配

Question

我有一個總和特征，如下所示：

sealed trait Sum[+A, +B]

final case class Failure[A](value: A) extends Sum[A, Nothing]

final case class Success[B](value: B) extends Sum[Nothing, B]

當我嘗試創建一個新變量時：

val s1: Sum[Int, Nothing] = Success(4)

我遇到以下錯誤：

Error:(5, 41) type mismatch;
 found   : Int(4)
 required: Nothing
    val s1: Sum[Int, Nothing] = Success(4)

為什么？

以及為什么這樣做：

val s1: Sum[Int, Int] = Success(4)

Answer 1

因為B是第二個類型參數，而不是第一個：

val s1: Sum[Nothing, Int] = Success(4)