一旦某个契约被声明为可忽略，编译器就允许在假设该条件成立的前提下做优化，如果调用方实际违反它，程序行为将不可预测。