MutableArithmetics/MathOptInterface ambiguity with v1.18.0

[adrienbanse]

New release (v1.18.0) creates an ambiguity between + functions of MutableArithmetics and MathOptInterface.
See dionysos-dev/Dionysos.jl#256 for the whole error message.

cc @blegat

[blegat]

This seems to have been introduced in #2213

MathOptInterface.jl/src/Utilities/functions.jl

Lines 1415 to 1424 in 0ba620d

	function Base.:+(
	f::T,
	g::Union{
	MOI.VariableIndex,
	MOI.ScalarAffineFunction{T},
	MOI.ScalarQuadraticFunction{T},
	},
	) where {T}
	return operate(+, T, f, g)
	end

We could either specialize for MA.Zero or just write T<:Number.
I would write T<:Number since we already do that for *.

[odow]

Do you have a reproducible example? How did the +(::MA.Zero, ::VariableRef) end up being called?

[blegat]

I wrote that:
https://github.com/dionysos-dev/Dionysos.jl/blob/a530b52716f352c6cbd6330b7103005175884641/src/optim/bemporad_morari.jl#L430

[adrienbanse]

The problem is with the first operate!! line https://github.com/dionysos-dev/Dionysos.jl/blob/a530b52716f352c6cbd6330b7103005175884641/src/optim/bemporad_morari.jl#L463C1-L463C61