23.3.3 其他类型的约束