Varying upper and lower bounds are allowed since CmdStan 2.24 (see https://github.com/stan-dev/stanc3/pull/552). The places where this needs to be fixed are https://mc-stan.org/docs/2_26/stan-users-guide/vectors-with-varying-bounds.html Also it is useful to have a section on vector bounds in https://mc-stan.org/docs/2_26/reference-manual/univariate-data-types-and-variable-declarations.html Other relevant recent discussions Discourse discussions on [array bounds](https://discourse.mc-stan.org/t/array-bounds/20767/3) and [varying upper bound without lower bound](https://discourse.mc-stan.org/t/varying-upper-bound-without-lower-bound/19128/2?u=spinkney).
Varying upper and lower bounds are allowed since CmdStan 2.24 (see stan-dev/stanc3#552). The places where this needs to be fixed are
https://mc-stan.org/docs/2_26/stan-users-guide/vectors-with-varying-bounds.html
Also it is useful to have a section on vector bounds in
https://mc-stan.org/docs/2_26/reference-manual/univariate-data-types-and-variable-declarations.html
Other relevant recent discussions
Discourse discussions on array bounds and varying upper bound without lower bound.