41.4 requires子句和约束检查顺序