4.3.3 自动推断约束