Function eval_binary_values_with_integer_width_with_control 

pub fn eval_binary_values_with_integer_width_with_control(
    op: BinaryOp,
    l: &Value,
    r: &Value,
    integer_width: Option<IntegerWidth>,
    control: &ProductionControl<'_>,
) -> Result<Produced<Value>>

Preserve the selected integer width without separating an allocated result from its owner on errors.