请问typescript 如何声明数组最后一项的数据类型？

Question

请问typescript 如何声明数组最后一项的数据类型？
例如我要声明 let a = [1,2,3,4,'a']的最后一项只能是string

Answer 1

type myType<T extends unknown[]> = [...T, string]

const a: myType<number[]> = [1, 2, 3, 4, 'a']

Answer 2

const a: [...number[], string] = [1, 2, 3, 4, ''];