Scala逆变和协方差

这是我的问题：

我有两个类,Point和ColorPoint,它是Point的子类.

class Point(val x : Int,val y : Int)
class ColorPoint(x : Int,y : Int,val red : Int,val green : Int,val blue : Int) extends Point(x,y)

此类将B转换为A,而B应为A的超类型：

class CoVariance[+A]{
 def cast[B >: A](x : B) : A = {
  return x.asInstanceOf[A] 
 }
}

此类将B转换为A,而B应为A的超类型：

class ContraVariance[-A]{
 def cast[B,A <: B](x : B) : A = {
    return x.asInstanceOf[A]
 }
}

情况1：

val co = new CoVariance[Point]
val color_point = new ColorPoint(1,2,3,4,5)
val point_co = co.cast(color_point) 
println(point_co.x)

如果我写出来：

// Covariance[Point] -> 
// cast[B :> Point](x : B) : Point -> (fill in ColorPoint)
// Cast[ColorPoint :> Point] : Point

我希望这是不正确的,因为ColorPoint不是Point的超类型,但scala不会抱怨.

下一个：

val contra = new ContraVariance[Point]
val color_point_contra = new ColorPoint(1,5)
val point_contra = contra.cast(color_point_contra) 
println(point_contra.x)

如果我写出来：

// ContraVariance[Point] -> 
// cast[B,Point <: B](x : B) : Point -> (fill in ColorPoint)
// cast[ColorPoint,Point <: ColorPoint] : Point

我也期望这是不正确的,但斯卡拉并没有抱怨.我会说Point不是ColorPoint的子类型.

我的推理是正确的还是我错过了什么？