at-least-one-args.ts

function f1(...args: number[] & {0: any}) {
}

f1()  // type error!
f1(1)
f1(1, 2, 3)

const a1: number[] = [1, 2, 3]
const a2: number[] = []
f1(...a1)  // type error! (unexpected)
f1(...a2)  // type error!


function f2<A extends number[]>(...args: Exclude<A, []>) {
}

f2()  // type error!
f2(1)
f2(1, 2, 3)

f2(...a1)
f2(...a2)  // NOT type error! (unexpected)