Fix constraint names on copy to diff

[andrewrosemberg]

Summary
Adding constraint names in JuMP/MOI fails when the model information is copied over to the Diff model structure:

@constraint(model, cons, pc * x == 3 * p) # Fails

Pointed out in this comment.

TODO from: jump-dev/DiffOpt.jl#281

[joaquimg]

What I think the underlying issue is: jump-dev/MathOptInterface.jl#2820

[odow]

Donn't copy the names if they're not supported? I don't understand the problem. This seems like an issue in DiffOpt

[joaquimg]

Default copy to is trying to copy it anyway.
How do I stop it?

[odow]

What's the error?

[joaquimg]

I ended-up responding in MOI: jump-dev/MathOptInterface.jl#2820 (comment)

Let me know where you want to keep the discussion going.

[odow]

I just want a reproducible example of an error with a stacktrace

[joaquimg]

ok, I will show how to reproduce, but the issue is buried down in a bunch os steps.
the MOI issues is supposed to be a MWE.
but I will send a RWE (realistic working example lol).

[joaquimg]

using Test
using JuMP
import DiffOpt
import HiGHS
# import Ipopt
# import SCS
import ParametricOptInterface as POI
import MathOptInterface as MOI

const ATOL = 1e-3
const RTOL = 1e-3

function test_jump_api()
    for (MODEL, SOLVER) in [
            # (DiffOpt.diff_model, HiGHS.Optimizer),
            # (DiffOpt.diff_model, SCS.Optimizer),
            # (DiffOpt.diff_model, Ipopt.Optimizer),
            (DiffOpt.quadratic_diff_model, HiGHS.Optimizer),
            # (DiffOpt.quadratic_diff_model, SCS.Optimizer),
            # (DiffOpt.quadratic_diff_model, Ipopt.Optimizer),
            # (DiffOpt.conic_diff_model, HiGHS.Optimizer),
            # (DiffOpt.conic_diff_model, SCS.Optimizer),
            # (DiffOpt.conic_diff_model, Ipopt.Optimizer),
            # (DiffOpt.nonlinear_diff_model, HiGHS.Optimizer),
            # (DiffOpt.nonlinear_diff_model, SCS.Optimizer),
            # (DiffOpt.nonlinear_diff_model, Ipopt.Optimizer),
        ],
        ineq in [false],
        _min in [true],
        flip in [true]

        @testset "$(MODEL) with: $(SOLVER), $(ineq ? "ineqs" : "eqs"), $(_min ? "Min" : "Max"), $(flip ? "geq" : "leq")" begin
            model = MODEL(SOLVER)
            set_silent(model)

            p_val = 4.0
            pc_val = 2.0
            @variable(model, x)
            @variable(model, p in Parameter(p_val))
            @variable(model, pc in Parameter(pc_val))
            if ineq
                if !flip
                    cons = @constraint(model, con_geq, pc * x >= 3 * p)
                else
                    cons = @constraint(model, con_leq, pc * x <= 3 * p)
                end
            else
                cons = @constraint(model, cons_eq, pc * x == 3 * p)
            end
            sign = flip ? -1 : 1
            if _min
                @objective(model, Min, 2x * sign)
            else
                @objective(model, Max, -2x * sign)
            end
            optimize!(model)
            @test value(x) ≈ 3 * p_val / pc_val atol = ATOL rtol = RTOL

            # the function is
            # x(p, pc) = 3p / pc
            # hence,
            # dx/dp = 3 / pc
            # dx/dpc = -3p / pc^2

            # First, try forward mode AD

            # differentiate w.r.t. p
            direction_p = 3.0
            DiffOpt.set_forward_parameter(model, p, direction_p)
            DiffOpt.forward_differentiate!(model)
            @test DiffOpt.get_forward_variable(model, x) ≈
                  direction_p * 3 / pc_val atol = ATOL rtol = RTOL

            # update p and pc
            p_val = 2.0
            pc_val = 6.0
            set_parameter_value(p, p_val)
            set_parameter_value(pc, pc_val)
            # re-optimize
            optimize!(model)
            # check solution
            @test value(x) ≈ 3 * p_val / pc_val atol = ATOL rtol = RTOL

            # stop differentiating with respect to p
            DiffOpt.empty_input_sensitivities!(model)
            # differentiate w.r.t. pc
            direction_pc = 10.0
            DiffOpt.set_forward_parameter(model, pc, direction_pc)
            DiffOpt.forward_differentiate!(model)
            @test DiffOpt.get_forward_variable(model, x) ≈
                  -direction_pc * 3 * p_val / pc_val^2 atol = ATOL rtol = RTOL

            # always a good practice to clear previously set sensitivities
            DiffOpt.empty_input_sensitivities!(model)
            # Now, reverse model AD
            direction_x = 10.0
            DiffOpt.set_reverse_variable(model, x, direction_x)
            DiffOpt.reverse_differentiate!(model)
            @test DiffOpt.get_reverse_parameter(model, p) ≈
                  direction_x * 3 / pc_val atol = ATOL rtol = RTOL
            @test DiffOpt.get_reverse_parameter(model, pc) ≈
                  -direction_x * 3 * p_val / pc_val^2 atol = ATOL rtol = RTOL
        end
    end
end

julia> test_jump_api()
quadratic_diff_model with: HiGHS.Optimizer, eqs, Min, geq: Error During Test at REPL[50]:20
  Got exception outside of a @test
  MathOptInterface.UnsupportedAttribute{MathOptInterface.ConstraintName}: Attribute MathOptInterface.ConstraintName() is not supported by the model.
  Stacktrace:
    [1] throw_set_error_fallback(model::DiffOpt.QuadraticProgram.Model, attr::MathOptInterface.ConstraintName, index::MathOptInterface.ConstraintIndex{MathOptInterface.ScalarAffineFunction{Float64}, MathOptInterface.EqualTo{Float64}}, value::String; error_if_supported::MathOptInterface.SetAttributeNotAllowed{MathOptInterface.ConstraintName})
      @ MathOptInterface C:\JG\Julia\packages\MathOptInterface\eRhCr\src\attributes.jl:603
    [2] throw_set_error_fallback(model::DiffOpt.QuadraticProgram.Model, attr::MathOptInterface.ConstraintName, index::MathOptInterface.ConstraintIndex{MathOptInterface.ScalarAffineFunction{Float64}, MathOptInterface.EqualTo{Float64}}, value::String)
      @ MathOptInterface C:\JG\Julia\packages\MathOptInterface\eRhCr\src\attributes.jl:593
    [3] set(::DiffOpt.QuadraticProgram.Model, ::MathOptInterface.ConstraintName, ::MathOptInterface.ConstraintIndex{MathOptInterface.ScalarAffineFunction{Float64}, MathOptInterface.EqualTo{Float64}}, ::String)
      @ MathOptInterface C:\JG\Julia\packages\MathOptInterface\eRhCr\src\attributes.jl:553
    [4] set(b::MathOptInterface.Bridges.LazyBridgeOptimizer{DiffOpt.QuadraticProgram.Model}, attr::MathOptInterface.ConstraintName, constraint_index::MathOptInterface.ConstraintIndex{MathOptInterface.ScalarAffineFunction{Float64}, MathOptInterface.EqualTo{Float64}}, name::String)
      @ MathOptInterface.Bridges C:\JG\Julia\packages\MathOptInterface\eRhCr\src\Bridges\bridge_optimizer.jl:1732
    [5] set(model::ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{DiffOpt.QuadraticProgram.Model}}, attr::MathOptInterface.ConstraintName, c::MathOptInterface.ConstraintIndex{MathOptInterface.ScalarQuadraticFunction{Float64}, MathOptInterface.EqualTo{Float64}}, name::String)
      @ ParametricOptInterface C:\JG\Julia\packages\ParametricOptInterface\qfXLO\src\MOI_wrapper.jl:506
    [6] _pass_attribute(dest::ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{DiffOpt.QuadraticProgram.Model}}, src::MathOptInterface.Utilities.CachingOptimizer{ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{HiGHS.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}, index_map::MathOptInterface.Utilities.IndexMap, cis_src::Vector{MathOptInterface.ConstraintIndex{MathOptInterface.ScalarQuadraticFunction{Float64}, MathOptInterface.EqualTo{Float64}}}, attr::MathOptInterface.ConstraintName)
      @ MathOptInterface.Utilities C:\JG\Julia\packages\MathOptInterface\eRhCr\src\Utilities\copy.jl:146
    [7] pass_attributes(dest::ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{DiffOpt.QuadraticProgram.Model}}, src::MathOptInterface.Utilities.CachingOptimizer{ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{HiGHS.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}, index_map::MathOptInterface.Utilities.IndexMap, cis_src::Vector{MathOptInterface.ConstraintIndex{MathOptInterface.ScalarQuadraticFunction{Float64}, MathOptInterface.EqualTo{Float64}}})
      @ MathOptInterface.Utilities C:\JG\Julia\packages\MathOptInterface\eRhCr\src\Utilities\copy.jl:131
    [8] _pass_constraints(dest::ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{DiffOpt.QuadraticProgram.Model}}, src::MathOptInterface.Utilities.CachingOptimizer{ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{HiGHS.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}, index_map::MathOptInterface.Utilities.IndexMap, variable_constraints_not_added::Vector{Any})
      @ MathOptInterface.Utilities C:\JG\Julia\packages\MathOptInterface\eRhCr\src\Utilities\copy.jl:258
    [9] default_copy_to(dest::ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{DiffOpt.QuadraticProgram.Model}}, src::MathOptInterface.Utilities.CachingOptimizer{ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{HiGHS.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}})
      @ MathOptInterface.Utilities C:\JG\Julia\packages\MathOptInterface\eRhCr\src\Utilities\copy.jl:393
   [10] copy_to(dest::ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{DiffOpt.QuadraticProgram.Model}}, src::MathOptInterface.Utilities.CachingOptimizer{ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{HiGHS.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}})
      @ ParametricOptInterface C:\JG\Julia\packages\ParametricOptInterface\qfXLO\src\MOI_wrapper.jl:1962
   [11] _diff(model::DiffOpt.Optimizer{MathOptInterface.Utilities.CachingOptimizer{ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{HiGHS.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}})
      @ DiffOpt C:\JG\Julia\dev\DiffOpt\src\moi_wrapper.jl:709
   [12] forward_differentiate!(model::DiffOpt.Optimizer{MathOptInterface.Utilities.CachingOptimizer{ParametricOptInterface.Optimizer{Float64, MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{HiGHS.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}})
      @ DiffOpt C:\JG\Julia\dev\DiffOpt\src\moi_wrapper.jl:573
   [13] forward_differentiate!(model::Model)
      @ DiffOpt C:\JG\Julia\dev\DiffOpt\src\jump_moi_overloads.jl:363
   [14] macro expansion
      @ .\REPL[50]:58 [inlined]
   [15] macro expansion
      @ C:\JG\Julia\juliaup\julia-1.10.9+0.x64.w64.mingw32\share\julia\stdlib\v1.10\Test\src\Test.jl:1577 [inlined]
   [16] test_jump_api()
      @ Main .\REPL[50]:21

[odow]

What branch for each package? Can you simplify more?

[odow]

This might be an issue in POI

(diff) pkg> st
Status `/private/tmp/diff/Project.toml`
  [930fe3bc] DiffOpt v0.5.0 `https://github.com/jump-dev/DiffOpt.jl.git#jg/jumpapi`
  [87dc4568] HiGHS v1.19.0
  [4076af6c] JuMP v1.28.0
  [0ce4ce61] ParametricOptInterface v0.11.1 `https://github.com/jump-dev/ParametricOptInterface.jl.git#jg/newdo`

julia> using JuMP

julia> import DiffOpt

julia> import HiGHS

julia> begin
           model = DiffOpt.quadratic_diff_model(HiGHS.Optimizer)
           @variable(model, x)
           @variable(model, p in Parameter(2))
           @constraint(model, c, p * x == 1)
           optimize!(model)
           DiffOpt.forward_differentiate!(model)
       end
Running HiGHS 1.11.0 (git hash: 364c83a51e): Copyright (c) 2025 HiGHS under MIT licence terms
LP   has 1 rows; 1 cols; 1 nonzeros
Coefficient ranges:
  Matrix [2e+00, 2e+00]
  Cost   [0e+00, 0e+00]
  Bound  [0e+00, 0e+00]
  RHS    [1e+00, 1e+00]
Presolving model
0 rows, 0 cols, 0 nonzeros  0s
0 rows, 0 cols, 0 nonzeros  0s
Presolve : Reductions: rows 0(-1); columns 0(-1); elements 0(-1) - Reduced to empty
Solving the original LP from the solution after postsolve
Model status        : Optimal
Objective value     :  0.0000000000e+00
P-D objective error :  0.0000000000e+00
HiGHS run time      :          0.00
ERROR: MathOptInterface.UnsupportedAttribute{MathOptInterface.ConstraintName}: Attribute MathOptInterface.ConstraintName() is not supported by the model.
Stacktrace:
  [1] throw_set_error_fallback(model::DiffOpt.QuadraticProgram.Model, attr::MathOptInterface.ConstraintName, index::MathOptInterface.ConstraintIndex{…}, value::String; error_if_supported::MathOptInterface.SetAttributeNotAllowed{…})
    @ MathOptInterface ~/.julia/packages/MathOptInterface/vK6dk/src/attributes.jl:603
  [2] throw_set_error_fallback(model::DiffOpt.QuadraticProgram.Model, attr::MathOptInterface.ConstraintName, index::MathOptInterface.ConstraintIndex{…}, value::String)
    @ MathOptInterface ~/.julia/packages/MathOptInterface/vK6dk/src/attributes.jl:593
  [3] set(::DiffOpt.QuadraticProgram.Model, ::MathOptInterface.ConstraintName, ::MathOptInterface.ConstraintIndex{…}, ::String)
    @ MathOptInterface ~/.julia/packages/MathOptInterface/vK6dk/src/attributes.jl:553
  [4] set(b::MathOptInterface.Bridges.LazyBridgeOptimizer{…}, attr::MathOptInterface.ConstraintName, constraint_index::MathOptInterface.ConstraintIndex{…}, name::String)
    @ MathOptInterface.Bridges ~/.julia/packages/MathOptInterface/vK6dk/src/Bridges/bridge_optimizer.jl:1732
  [5] set(model::ParametricOptInterface.Optimizer{…}, attr::MathOptInterface.ConstraintName, c::MathOptInterface.ConstraintIndex{…}, name::String)
    @ ParametricOptInterface ~/.julia/packages/ParametricOptInterface/aQ83x/src/MOI_wrapper.jl:506
  [6] _pass_attribute(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.CachingOptimizer{…}, index_map::MathOptInterface.Utilities.IndexMap, cis_src::Vector{…}, attr::MathOptInterface.ConstraintName)
    @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/vK6dk/src/Utilities/copy.jl:146
  [7] pass_attributes(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.CachingOptimizer{…}, index_map::MathOptInterface.Utilities.IndexMap, cis_src::Vector{…})
    @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/vK6dk/src/Utilities/copy.jl:131
  [8] _pass_constraints(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.CachingOptimizer{…}, index_map::MathOptInterface.Utilities.IndexMap, variable_constraints_not_added::Vector{…})
    @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/vK6dk/src/Utilities/copy.jl:258
  [9] default_copy_to(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.CachingOptimizer{…})
    @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/vK6dk/src/Utilities/copy.jl:393
 [10] copy_to(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.CachingOptimizer{…})
    @ ParametricOptInterface ~/.julia/packages/ParametricOptInterface/aQ83x/src/MOI_wrapper.jl:1962
 [11] _diff(model::DiffOpt.Optimizer{MathOptInterface.Utilities.CachingOptimizer{…}})
    @ DiffOpt ~/.julia/packages/DiffOpt/ppsqa/src/moi_wrapper.jl:709
 [12] forward_differentiate!(model::DiffOpt.Optimizer{MathOptInterface.Utilities.CachingOptimizer{…}})
    @ DiffOpt ~/.julia/packages/DiffOpt/ppsqa/src/moi_wrapper.jl:573
 [13] forward_differentiate!(model::Model)
    @ DiffOpt ~/.julia/packages/DiffOpt/ppsqa/src/jump_moi_overloads.jl:363
 [14] top-level scope
    @ REPL[192]:7
Some type information was truncated. Use `show(err)` to see complete types.

[joaquimg]

I don't think it is POI.
POI seems to correctly forward the supports function to the inner optimizer, bridges do not.
That is why I crafted the example: jump-dev/MathOptInterface.jl#2820 without POI.

default_copy_to will check if the attribute is supported, if it is not supported it will skip if it is a name.

QuadraticProgram.Model wants it to be skipped, so it returns false on support for all constraints. (POI forwards whatever inner does).
Bridge, on the other hand, will forward to inner just sometimes.
So copy_to will have the info that the model supports names, then it will try to set the name, then bridge will try to forward the name and it will fail. All because bridges "lied" about supporting.

[odow]

julia> import DiffOpt

julia> import MathOptInterface as MOI

julia> import ParametricOptInterface as POI

julia> begin
           model = MOI.Utilities.Model{Float64}()
           x = MOI.add_variable(model)
           p, _ = MOI.add_constrained_variable(model, MOI.Parameter(2.0))
           c = MOI.add_constraint(model, 1.0 * p * x, MOI.EqualTo(1.0))
           MOI.set(model, MOI.ConstraintName(), c, "c")
           poi = POI.Optimizer(
               MOI.instantiate(DiffOpt.QuadraticProgram.Model; with_bridge_type = Float64),
           )
           MOI.copy_to(poi, model)
       end
ERROR: MathOptInterface.UnsupportedAttribute{MathOptInterface.ConstraintName}: Attribute MathOptInterface.ConstraintName() is not supported by the model.
Stacktrace:
  [1] throw_set_error_fallback(model::DiffOpt.QuadraticProgram.Model, attr::MathOptInterface.ConstraintName, index::MathOptInterface.ConstraintIndex{…}, value::String; error_if_supported::MathOptInterface.SetAttributeNotAllowed{…})
    @ MathOptInterface ~/.julia/packages/MathOptInterface/vK6dk/src/attributes.jl:603
  [2] throw_set_error_fallback(model::DiffOpt.QuadraticProgram.Model, attr::MathOptInterface.ConstraintName, index::MathOptInterface.ConstraintIndex{…}, value::String)
    @ MathOptInterface ~/.julia/packages/MathOptInterface/vK6dk/src/attributes.jl:593
  [3] set(::DiffOpt.QuadraticProgram.Model, ::MathOptInterface.ConstraintName, ::MathOptInterface.ConstraintIndex{…}, ::String)
    @ MathOptInterface ~/.julia/packages/MathOptInterface/vK6dk/src/attributes.jl:553
  [4] set(b::MathOptInterface.Bridges.LazyBridgeOptimizer{…}, attr::MathOptInterface.ConstraintName, constraint_index::MathOptInterface.ConstraintIndex{…}, name::String)
    @ MathOptInterface.Bridges ~/.julia/packages/MathOptInterface/vK6dk/src/Bridges/bridge_optimizer.jl:1732
  [5] set(model::ParametricOptInterface.Optimizer{…}, attr::MathOptInterface.ConstraintName, c::MathOptInterface.ConstraintIndex{…}, name::String)
    @ ParametricOptInterface ~/.julia/packages/ParametricOptInterface/aQ83x/src/MOI_wrapper.jl:506
  [6] _pass_attribute(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.Model{…}, index_map::MathOptInterface.Utilities.IndexMap, cis_src::Vector{…}, attr::MathOptInterface.ConstraintName)
    @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/vK6dk/src/Utilities/copy.jl:146
  [7] pass_attributes(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.Model{…}, index_map::MathOptInterface.Utilities.IndexMap, cis_src::Vector{…})
    @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/vK6dk/src/Utilities/copy.jl:131
  [8] _pass_constraints(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.Model{…}, index_map::MathOptInterface.Utilities.IndexMap, variable_constraints_not_added::Vector{…})
    @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/vK6dk/src/Utilities/copy.jl:258
  [9] default_copy_to(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.Model{…})
    @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/vK6dk/src/Utilities/copy.jl:393
 [10] copy_to(dest::ParametricOptInterface.Optimizer{…}, src::MathOptInterface.Utilities.Model{…})
    @ ParametricOptInterface ~/.julia/packages/ParametricOptInterface/aQ83x/src/MOI_wrapper.jl:1962
 [11] top-level scope
    @ REPL[315]:10
Some type information was truncated. Use `show(err)` to see complete types.

[odow]

This is a bug in POI. MOI.support fails to account for the fact quadratic constraints may be reformulated to affine:

https://github.com/jump-dev/ParametricOptInterface.jl/blob/4a0358ba4cfb8f35130b169299461b8afc1b63d2/src/MOI_wrapper.jl#L496C12-L496C51