An array of at most N elements.
N
max_length is a phantom type-level annotation: it does not exist at runtime, and any T[] is assignable. The codec enforces the bound when encoding and decoding.
max_length
T[]
An array of at most
Nelements.max_lengthis a phantom type-level annotation: it does not exist at runtime, and anyT[]is assignable. The codec enforces the bound when encoding and decoding.