*<Null safety>*
void encodeArray (Encoder encoder, Iterable<T> value, int offset)
void encodeArray(Encoder encoder, Iterable<T> value, int offset) { int off = offset; final int stride = encodingInlineSize(); for (final element in value) { encode(encoder, element, off); off += stride; } }