加入约束后，编译通过版本，不可运行 dow s 无法执行