ScalaTest - 使用上限类型进行类型检查

Question

是否可以使用ScalaTest证明以下代码块的不正确性？

class A
class B[T <: A]
class C extends B[Any]

scalac将提供以下错误消息...

  

错误：类型参数[Any]不符合B类的类型参数边界[T＆lt;：A]

...但运行以下测试将导致TestFailedException。

class MySpec extends FlatSpec with Matchers {
  "ScalaTest" should "detect type errors" in {
    """
      trait A
      class B[T <: A]
      class C extends B[Any]
    """ shouldNot typeCheck
  }
}