supports names in bridged models is inconsistent ?

[joaquimg]

In this branch of DiffOpt: https://github.com/jump-dev/DiffOpt.jl/tree/jg/jumpapi

using DiffOpt
import MathOptInterface as MOI
instantiated_model= MOI.instantiate(DiffOpt.QuadraticProgram.Model)
model = MOI.Bridges.LazyBridgeOptimizer(instantiated_model)
MOI.Bridges.Constraint.add_all_bridges(model, Float64)
MOI.Bridges.Objective.add_all_bridges(model, Float64)

then

julia> MOI.supports(model, MOI.ConstraintName(), MOI.ConstraintIndex{MOI.VectorOfVariables, MOI.Zeros})
true

julia> MOI.supports(model.model, MOI.ConstraintName(), MOI.ConstraintIndex{MOI.VectorOfVariables, MOI.Zeros})
false

This seems to be the issue:

MathOptInterface.jl/src/Bridges/bridge_optimizer.jl

Line 1719 in 72c3705

return is_bridged(b, F, S) || MOI.supports(b.model, attr, Index)

[odow]

What's the bug?

MathOptInterface.jl/src/Bridges/lazy_bridge_optimizer.jl

Lines 45 to 46 in 72c3705

	con_to_name::Dict{MOI.ConstraintIndex,String}
	name_to_con::Union{Dict{String,MOI.ConstraintIndex},Nothing}

[joaquimg]

The underlying solver does not support names.
So bridges should no support names,
Im this case, names for some constraints are supoorted (bridged one) and some are not (un-bridged one).
Should the bridge check if the constraint names is supoorted after the bridge transformation?

[odow]

Im this case, names for some constraints are supoorted (bridged one) and some are not (un-bridged one).

Why is this a problem though. What's the actual error?

[joaquimg]

copy_to will try to pass names to the quadratic diff backend and then it errors in a set method.

If the bridge optimizer forwards "correctly"(?) the MOI.supports it would work.

The issue is that the supports are, at least apparently, incoherent.

[odow]

Which set though? What stacktrace. I guess I neec to look at this locally

[odow]

Closing in favor of jump-dev/ParametricOptInterface.jl#185