Gurobi's "Warning for adding constraints: zero or small (< 1e-13) coefficients, ignored" is printed upon JuMP.@constraint() rather than during JuMP.optimize!()

Gurobi's "Warning for adding constraints: zero or small (< 1e-13) coefficients, ignored" is printed upon JuMP.@constraint() rather than during JuMP.optimize!() #7990