Bug报告
我正在尝试创建一个函数类型，其中参数是一些可变数量的泛型参数T,最后一个参数是可选的覆盖变量overrides?: FetchQueryOptions<R>,但是可变参数T无法分配给任何类型。以下是代码示例。

🔎 搜索词

泛型函数可变元组类型推断展开

🕗 版本与回归信息

• 这是我尝试的每个版本的行为，我也查阅了常见问题解答中的条目

⏯ Playground链接

带有相关代码的Playground链接

💻 代码

interface FetchQueryOptions<R> {
    fetchFunc?: () => R;
}

export interface IGetQueryFunc<R> {
  <T extends any[]>(
    ...args: [...rest: T, overrides?: FetchQueryOptions<R>]
  ): FetchQueryOptions<R>;
}

const getUserPostQuery: IGetQueryFunc<string> = (
  userId: string,
  postId: number,
  overrides?: FetchQueryOptions<string>
): FetchQueryOptions<string> => {
  return {
      fetchFunc: () => 'some data:' + `${userId}` + `${postId}`,
      ...overrides
  }
};

🙁 实际行为

我得到了以下错误：

Type '(userId: string, postId: string, overrides?: FetchQueryOptions<string> | undefined) => FetchQueryOptions<string>' is not assignable to type 'IGetQueryFunc<string>'.
  Types of parameters 'userId' and 'rest' are incompatible.
    Type '[...rest: T, overrides?: FetchQueryOptions<string> | undefined]' is not assignable to type '[userId: string, postId: string, overrides?: FetchQueryOptions<string> | undefined]'.
      Variadic element at position 0 in source does not match element at position 0 in target.(2322)

🙂 预期行为

我希望 ...rest: T 能够正确地推断为 [string, number] 。并且 ...args 能够推断为 [string, number, FetchQueryOptions<string> | undefined]