Tuple with rest items (or Array with prefixedItems) about typebox HOT 2 CLOSED

import { Type, Static, TSchema } from '@sinclair/typebox'

export type TupleRestStatic<T extends TSchema[], Rest extends TSchema, Acc extends unknown[] = []> = 
    T extends [infer L extends TSchema, ...infer R extends TSchema[]]
      ? TupleRestStatic<R, Rest, [...Acc, Static<L>]>
      : [...Acc, ...Static<Rest>[]]

export const TupleRest = <T extends TSchema[], Rest extends TSchema>(items: [...T], rest: Rest) => 
  Type.Unsafe<TupleRestStatic<T, Rest>>({
    type: 'array',
    prefixItems: items,
    unevaluatedItems: rest
  })


const T = TupleRest([Type.String(), Type.Number()], Type.Boolean())

type T = Static<typeof T> // [string, number, ...boolean[]]

import { Type, Static, TSchema, TypeRegistry, Kind } from '@sinclair/typebox'
import { Value } from '@sinclair/typebox/value'

// --------------------------------------------------------------------
// TupleRest
// --------------------------------------------------------------------
TypeRegistry.Set<TTupleRest>('TupleRest', (schema, value) => {
  return (
    Array.isArray(value) && value.length >= schema.prefixItems.length &&
    schema.prefixItems.every((schema, index) => Value.Check(schema, value[index])) &&
    value.every((value, index) => index < schema.prefixItems.length || Value.Check(schema.unevaluatedItems, value))
  )
})
export type TupleRestStatic<T extends TSchema[], Rest extends TSchema, Acc extends unknown[] = []> = 
    T extends [infer L extends TSchema, ...infer R extends TSchema[]]
      ? TupleRestStatic<R, Rest, [...Acc, Static<L>]>
      : [...Acc, ...Static<Rest>[]]

export interface TTupleRest<T extends TSchema[] = [], Rest extends TSchema = TSchema> extends TSchema {
  [Kind]: 'TupleRest'
  static: TupleRestStatic<T, Rest>
  type: 'array'
  prefixItems: T
  unevaluatedItems: Rest
}
export function TupleRest<T extends TSchema[], Rest extends TSchema>(prefixItems: [...T], unevaluatedItems: Rest): TTupleRest<T, Rest> {
  return { [Kind]: 'TupleRest', type: 'array', prefixItems, unevaluatedItems } as never
}

// ... 

const T = TupleRest([Type.String(), Type.Number()], Type.Boolean())

type T = Static<typeof T> // [string, number, ...boolean[]]

const R = Value.Check(T, ['', 1, true, true, true]) // true