无法将泛型类型转换为Any / super类的泛型

Question

我试图理解为什么我在以下代码中收到错误：

class A <T> {}
class B {}
class C : B {}

let a = A<C>() as A<B>

虽然这行代码正常运行：

let b = C() as B