Rest elements in Tuple Types to support NonEmptyArray

[jmatsushita]

Hi there,

Thanks for the great library. I just ran into an issue with a trick I use to specify a non empty list in typescript:

export type Item = string;
export type NonEmptyArray = [Item, ...Item[]];

ts-auto-guard generates:

/*
 * Generated type guards for "nonempty.ts".
 * WARNING: Do not manually change this file.
 */
import { NonEmptyArray } from "./nonempty";

export function isNonEmptyArray(obj: unknown): obj is NonEmptyArray {
    const typedObj = obj as NonEmptyArray
    return (
        Array.isArray(typedObj) &&
        typeof typedObj[0] === "string" &&
        typeof typedObj[1] === "string"
    )
}

Which means it's expecting an Array of 2 elements. I suppose that the rest elements in tuple types is not implemented ?

[rhys-vdw]

@jmatsushita not that I'm aware of. You're welcome to have a go!