9.6 类型约束