我会采取以下方法：

declare class ItIterator<T> {
  zip<B extends any[]>(
    ...other: { [I in keyof B]: Iterable<B[I]> | Iterator<B[I]> }
  ): ItIterator<[T, ...B]>;
}

其思想是zip()是B中的generic，other可迭代对象的元素类型的元组类型，我的意思是，如果你调用zip(x, y, z)，其中x是Iterable<X>，y是Iterable<Y>，z是Iterable<Z>，则类型自变量B将是[X, Y, Z]。
这是通过使other的rest参数元组类型成为B上的Map元组类型来实现的。
那么输出类型是可变元组类型[T, ...B]的ItIterator<>，其中我们将T前置到B的元组。
让我们来测试一下：

declare const i: ItIterator<string>;

const y = i.zip([1], [true], [new Date(), new Date()]);
// const y: ItIterator<[string, number, boolean, Date]>

看起来不错。注意我不会支持

const z = ItIterator.prototype.zip.call([1][Symbol.iterator](), ['a'], [false]);
// const z: ItIterator<[any, ...any[]]>

因为对函数的call()方法的类型支持不能很好地与本身是泛型的函数一起工作，并且您最终得到的只是ItIterator<[any, ...any[]]>的约束。
Playground代码链接