Range-check face indices on their source-typed values and widen to
Uint32Array.
The widening and the check are one function on purpose: they are only sound
together. Splitting them invites a caller to coerce first and check after,
which is precisely the 2^32 + 1 → 1 hole described in the module docs.
Range-check face indices on their source-typed values and widen to
Uint32Array.The widening and the check are one function on purpose: they are only sound together. Splitting them invites a caller to coerce first and check after, which is precisely the
2^32 + 1 → 1hole described in the module docs.