constants in `@constraint` not working about intervalarithmetic.jl HOT 6 CLOSED

(@v1.9) pkg> add [email protected]
Resolving package versions...
ERROR: Unsatisfiable requirements detected for package StaticArrays [90137ffa]:
 StaticArrays [90137ffa] log:
 ├─possible versions are: 0.8.0-1.7.0 or uninstalled
 ├─restricted to versions * by an explicit requirement, leaving only versions: 0.8.0-1.7.0
 ├─restricted by compatibility requirements with ForwardDiff [f6369f11] to versions: 0.8.3-1.7.0 or uninstalled, leaving only versions: 0.8.3-1.7.0
 │ └─ForwardDiff [f6369f11] log:
 │   ├─possible versions are: 0.9.0-0.10.36 or uninstalled
 │   ├─restricted to versions * by an explicit requirement, leaving only versions: 0.9.0-0.10.36
 │   └─restricted by compatibility requirements with NonlinearSolve [8913a72c] to versions: 0.10.3-0.10.36
 │     └─NonlinearSolve [8913a72c] log:
 │       ├─possible versions are: 0.1.0-3.1.0 or uninstalled
 │       └─restricted to versions * by an explicit requirement, leaving only versions: 0.1.0-3.1.0
 ├─restricted by compatibility requirements with PredefinedDynamicalSystems [31e2f376] to versions: 1.0.0-1.7.0
 │ └─PredefinedDynamicalSystems [31e2f376] log:
 │   ├─possible versions are: 1.0.0-1.2.0 or uninstalled
 │   └─restricted to versions * by an explicit requirement, leaving only versions: 1.0.0-1.2.0
 └─restricted by compatibility requirements with ModelingToolkit [961ee093] to versions: 0.10.0-0.12.6 — no versions left
   └─ModelingToolkit [961ee093] log:
     ├─possible versions are: 0.0.1-8.73.2 or uninstalled
     └─restricted by compatibility requirements with IntervalConstraintProgramming [138f1668] to versions: 3.0.0-3.21.0
       └─IntervalConstraintProgramming [138f1668] log:
         ├─possible versions are: 0.9.0-0.12.4 or uninstalled
         ├─restricted to versions * by an explicit requirement, leaving only versions: 0.9.0-0.12.4
         └─restricted by compatibility requirements with IntervalArithmetic [d1acc4aa] to versions: 0.12.4 or uninstalled, leaving only versions: 0.12.4
           └─IntervalArithmetic [d1acc4aa] log:
             ├─possible versions are: 0.14.0-0.21.2 or uninstalled
             └─restricted to versions 0.20 by an explicit requirement, leaving only versions: 0.20.0-0.20.9

julia> Pkg.status(; outdated=true)
Status `~/.julia/environments/v1.9/Project.toml`

⌅ [d1acc4aa] IntervalArithmetic v0.17.8 (<v0.21.2): ExactPredicates, ImplicitEquations, IntervalConstraintProgramming, IntervalContractors, IntervalRootFinding
⌅ [8913a72c] NonlinearSolve v2.8.2 (<v3.1.0): BoundaryValueDiffEq, DifferentialEquations, OrdinaryDiffEq