Type Alias InferPositionals<T>

InferPositionals: T extends readonly [infer First, ...(infer Rest)]
    ? First extends PositionalDef
        ? Rest extends PositionalsSchema
            ? readonly [InferPositional<First>, ...InferPositionals<Rest>]
            : readonly [InferPositional<First>]
        : readonly []
    : T extends readonly [infer Only]
        ? Only extends PositionalDef
            ? readonly [InferPositional<Only>]
            : readonly []
        : T extends readonly []
            ? readonly []
            : readonly InferPositional<T[number]>[]