Typically there is a way to specify a thunk that should run whenever the constraint is narrowed further; this is needed to support constraint propagation.
通常，有一种方法可以指定每当约束进一步缩小时应该运行的hunk；这是支持约束传播所必需的。