6.10.3 类型断言的约束