supports AbstractConstraintAttribute broken for bridges

[odow]

HiGHS doesn't support ConstraintDualStart, so any bridged constraint shouldn't either. But yet:

julia> model = MOI.Bridges.full_bridge_optimizer(HiGHS.Optimizer(), Float64)
MOIB.LazyBridgeOptimizer{HiGHS.Optimizer}
with 0 variable bridges
with 0 constraint bridges
with 0 objective bridges
with inner model A HiGHS model with 0 columns and 0 rows.

julia> MOI.supports(model, MOI.ConstraintDualStart(), MOI.ConstraintIndex{MOI.VectorOfVariables,MOI.Nonnegatives})
true

julia> MOI.supports(model.model, MOI.ConstraintDualStart(), MOI.ConstraintIndex{MOI.VectorOfVariables,MOI.Nonnegatives})
false

Here's the offending code:

MathOptInterface.jl/src/Bridges/bridge_optimizer.jl

Lines 1218 to 1234 in 9a54ba7

	function MOI.supports(
	b::AbstractBridgeOptimizer,
	attr::MOI.AbstractConstraintAttribute,
	IndexType::Type{MOI.ConstraintIndex{F,S}},
	) where {F,S}
	return reduce_bridged(
	b,
	F,
	S,
	true,
	() -> MOI.supports(b.model, attr, IndexType),
	ok -> ok && MOI.supports(b, attr, Variable.concrete_bridge_type(b, S)),
	ok ->
	ok &&
	MOI.supports(b, attr, Constraint.concrete_bridge_type(b, F, S)),
	)
	end

It ends up calling

MathOptInterface.jl/src/Bridges/Constraint/scalarize.jl

Lines 121 to 127 in 9a54ba7

	function MOI.supports(
	::MOI.ModelLike,
	::Union{MOI.ConstraintPrimalStart,MOI.ConstraintDualStart},
	::Type{<:ScalarizeBridge},
	)
	return true
	end

which is only true if the inner optimizer also supports it.

[blegat]

Here is the fix for a similar problem with the slack bridge #1383

[odow]

Yeah is it sufficient to just look at the inner optimizer? If so, why is #1383 still a draft?

[blegat]

Because it needs tests ^^

[odow]

I've opened a few PRs to fix these

• [breaking] [Bridges] Refactor IndicatorSOS1Bridge #1585
• [Bridges] maintenance of semi_to_binary.jl #1584
• [Bridges] maintenance of geomean_to_relentr.jl #1583
• [Bridges] maintenance of scalarize.jl #1582
• [Bridges] maintenance of det.jl #1581
• [Bridges] maintenance of norm_to_lp.jl #1580
• [Bridges] maintenance of relentr_to_exp.jl #1579
• [Bridges] maintenance of norm_spec_nuc_to_psd.jl #1578
• [Bridges] maintenance of interval.jl #1577
• [Bridges] maintenance of slack.jl #1576
• [Bridges] maintenance of vectorize.jl #1575
• [Bridges] maintenance of zero_one.jl #1574

[odow]

Closing because this is now fixed. The IndicatorSOS1Bridge PR is different.