为什么来自任何[]的元组推断会变成[string,string,…],而来自string[]的元组推断会变成['literal1','literal2',…]

我读过这个答案 https://stackoverflow.com/a/45486495/1108891 ,它演示了元组类型推断。经过一些实验,我遇到了这个场景。

当我们 tuple T extends string[] 字符串文字 类型。

export const tuple_0 = <T extends string[]>(...args: T): T => args;

const ALL_SUITS_0 = tuple_0('hearts', 'diamonds', 'spades', 'clubs');

type T0 = typeof ALL_SUITS_0; // ["hearts", "diamonds", "spades", "clubs"]

T extends any[] ,元组具有 类型(不是文字)。

export const tuple_1 = <T extends any[]>(...args: T) => args;

const ALL_SUITS_1 = tuple_1('hearts', 'diamonds', 'spades', 'clubs');

type T1 = typeof ALL_SUITS_1; // [string, string, string, string]

为什么在后一种情况下会丢失文本类型?

any 还有一步呢 string ,及 还有一步呢 'some-string-literal' . 类型推断是否只允许自己进行一步?