爲什麼的Equals [A <: B >：B，B]不編譯

Question

我用case class Equals[A >: B <: B, B]檢查類型等價，例如，

scala> Equals[Int, Int] 
res0: Equals[Int,Int] = Equals() 

scala> Equals[Int, String] 
<console>:10: error: type arguments [Int,String] do not conform to method apply's type parameter bounds [A >: B <: B,B] 
       Equals[Int, String] 

但是，當我重新申報等號案例類爲：

scala> case class Equals[A <: B >: B, B] 
<console>:1: error: ']' expected but '>:' found. 
    case class Equals[A <: B >: B, B] 

我想知道爲什麼[A >: B <:B, B]有效，但[A <: B >: B, B]沒有。

Answer 1

根據Scala Reference Specification項4.4類型參數：

TypeParam :: =（ID | '_'）[TypeParamClause] [ '>：' 類型] [ '<：' 類型] [ 「：」類型]

綁定序列A >: Lover <: Upper但不A <: Upper >: Lover