[Bridges] maintenance of slack.jl

[odow]

No description provided.

[odow]

@blegat this is broken because of

MathOptInterface.jl/src/Bridges/bridge_optimizer.jl

Lines 639 to 644 in 3897b7c

	# Even if it is not bridged, it may have been force-bridged because one of
	# the variable in the function was bridged.
	if is_bridged(b, F, S) ||
	(variable_function && supports_constraint_bridges(b))
	value = operate_constraint_bridges!(value)
	end

What's the || part doing here? Because variable_function && supports_constraint_bridges(b) only means that one of the inner variables might be bridged, not that they actually are. Ideas of how to fix?

[blegat]

What's the || part doing here? Because variable_function && supports_constraint_bridges(b) only means that one of the inner variables might be bridged, not that they actually are. Ideas of how to fix?

The issue was that we have to use recursive_model. This would have failed as well e.g. for a chordal bridge that bridges VAF-in-PSD -> VAF-in-PSD