第四章 类型系统-5.值类型

[zhangdand0609]

x y互相赋值的例子后，
原文：上面示例中，变量x属于子类型，变量y属于父类型。子类型x不能赋值为父类型y，但是反过来是可以的。

如果一定要让子类型可以赋值为父类型的值，就要用到类型断言（详见《类型断言》一章）。

这两处表述是否有误。