Update

Author: odow

src/Bridges/Constraint/bridges/AbstractFunctionConversionBridge.jl

@@ -53,7 +53,7 @@ end
 
 # Needed to avoid an ambiguity with the getter for MOI.Constraint.AbstractBridge
 function MOI.get(
-    model::MOI.Bridges.AbstractBridgeOptimizer,
+    model::MOI.ModelLike,
     attr::MOI.ConstraintConflictStatus,
     bridge::AbstractFunctionConversionBridge,
 )
@@ -65,8 +65,6 @@ function MOI.get(
                 return status
             elseif status == MOI.MAYBE_IN_CONFLICT
                 ret = status
-            # elseif status == MOI.NOT_IN_CONFLICT
-            # Nothing to do here.
             end
         end
     end
@@ -191,6 +189,7 @@ function invariant_under_function_conversion(
         MOI.ConstraintPrimalStart,
         MOI.ConstraintDual,
         MOI.ConstraintDualStart,
+        MOI.ConstraintConflictStatus,
     },
 )
     return true

src/Bridges/bridge_optimizer.jl

@@ -368,6 +368,11 @@ function MOI.optimize!(b::AbstractBridgeOptimizer)
     return
 end
 
+function MOI.compute_conflict!(b::AbstractBridgeOptimizer)
+    MOI.compute_conflict!(b.model)
+    return
+end
+
 function MOI.is_empty(b::AbstractBridgeOptimizer)
     return isempty(Variable.bridges(b)) &&
            isempty(Constraint.bridges(b)) &&
@@ -1745,7 +1750,7 @@ function MOI.set(
 end
 
 function MOI.get(
-    model::AbstractBridgeOptimizer,
+    model::MOI.ModelLike,
     attr::MOI.ConstraintConflictStatus,
     bridge::AbstractBridge,
 )
@@ -1757,8 +1762,6 @@ function MOI.get(
                 return status
             elseif status == MOI.MAYBE_IN_CONFLICT
                 ret = status
-            # elseif status == MOI.NOT_IN_CONFLICT
-            # Nothing to do here.
             end
         end
     end

src/Bridges/lazy_bridge_optimizer.jl

@@ -607,7 +607,3 @@ function bridging_cost(b::LazyBridgeOptimizer, args...)
 end
 
 recursive_model(b::LazyBridgeOptimizer) = b
-
-function MOI.compute_conflict!(model::LazyBridgeOptimizer)
-    return MOI.compute_conflict!(model.model)
-end

test/Bridges/Constraint/ScalarFunctionizeBridge.jl

@@ -378,6 +378,22 @@ function test_supports_ScalarNonlinearFunction()
     return
 end
 
+function test_issue_2838()
+    inner = MOI.Utilities.MockOptimizer(MOI.Utilities.Model{Float64}())
+    model = MOI.Bridges.Constraint.ScalarFunctionize{Float64}(inner)
+    x = MOI.add_variable(model)
+    c = MOI.add_constraint(model, x, MOI.GreaterThan(1.0))
+    F, S = MOI.ScalarAffineFunction{Float64}, MOI.GreaterThan{Float64}
+    ci = only(MOI.get(inner, MOI.ListOfConstraintIndices{F,S}()))
+    for ret in (MOI.NOT_IN_CONFLICT, MOI.IN_CONFLICT, MOI.MAYBE_IN_CONFLICT)
+        MOI.set(inner, MOI.ConflictCount(), 1)
+        MOI.set(inner, MOI.ConstraintConflictStatus(), ci, ret)
+        MOI.compute_conflict!(model)
+        @test MOI.get(model, MOI.ConstraintConflictStatus(), c) == ret
+    end
+    return
+end
+
 end  # module
 
 TestConstraintFunctionize.runtests()