MethodError: no method matching _build_indicator_constraint(<...>)

[LebedevRI]

using JuMP, SCIP

model = Model(SCIP.Optimizer)

@variable(model, a, Bin)
@variable(model, b, Bin)

@expression(model, c, a && b)

@variable(model, d)
@variable(model, e)

@constraint(model, c => {d == e})

print(model)

MethodError: no method matching _build_indicator_constraint(::JuMP.var"#_error#90"{Tuple{Symbol, Expr}, Symbol, LineNumberNode}, ::NonlinearExpr, ::ScalarConstraint{AffExpr, MathOptInterface.EqualTo{Float64}}, ::Type{MathOptInterface.Indicator{MathOptInterface.ACTIVATE_ON_ONE}})

Closest candidates are:
  _build_indicator_constraint(::Function, ::AbstractVariableRef, ::ScalarConstraint, ::Type{MathOptInterface.Indicator{A}}) where A
   @ JuMP ~/.julia/packages/JuMP/D44Aq/src/indicator.jl:9


Stacktrace:
 [1] macro expansion
   @ ~/.julia/packages/JuMP/D44Aq/src/macros.jl:1345 [inlined]
 [2] top-level scope
   @ In[15]:13

Works if i launder c through a variable, but then scipopt/SCIP.jl#282 is hit.

[odow]

Closing in favor of #3581. They're the same underlying problem.