Update 类型推理