void PropagateTypeTasklet::UpdateOutputType(Instruction& inst, const Type& ty) { auto& newty = ty.ComputeBoundType(); if (inst.output_type() == newty) { return; } inst.set_output_type(newty); Add(&inst.output()); }