16.5 类型约束