9.5 检查约束