Creates a Type for a readonly array with at least minLength elements,
typed as the branded MinLengthArray instead of the structural
readonly [A, ..., A, ...A[]] type produced by minLengthTuple.
Because the length constraint lives only in the brand, the element type is
never expanded into tuple positions, which keeps type-checking cheap even
when A is a large type.
Creates a
Typefor a readonly array with at leastminLengthelements, typed as the branded MinLengthArray instead of the structuralreadonly [A, ..., A, ...A[]]type produced byminLengthTuple.Because the length constraint lives only in the brand, the element type is never expanded into tuple positions, which keeps type-checking cheap even when
Ais a large type.