v0.0.0-5073-g3e9f8e34e

Refine unconstrained calculation for small array indexes

If an array index is not large enough to address all possible array elements it is by definition constrained. Make RangeQueryEngine aware of this fact in ArrayUpdate.

PiperOrigin-RevId: 631953691