Constraint macro modifies expression

[odow]

julia> using JuMP

julia> model = Model();

julia> @variable(model, 0 <= x <= 5);

julia> @expression(model, e, x + 5)
x + 5

julia> @constraint(model, -10 <= e <= 10)
x ∈ [-15, 5]

julia> e
x

[mlubin]

Oops, that's a bad one

[odow]

So this slipped by our tests because it's only a problem where the body of a function is a single identifier, like :e, and the constraint is:

• a double-sided interval constraint
• an explicit f in Set() constraint

Something like e <= 1 doesn't trigger it.