普通泛型 预期想要推断为 [string, number] 修改 function func2<T extends any[]>(arr: [...{[I in keyof T]: T[I]}]): T { } func2(['123', 1]) 使用案例:数组map类型收窄