TypeScript：使用泛型和联合类型

Question

我有使用函数重载的代码，例如：

function f0(v: Object): void { }

function f1(a: number, b: number): void;
function f1(a: string, b: string): void;
function f1(a: any, b: any): void {
    f0(a); // OK
}

我想使用联合类型进行转换，但出现错误：

function f1<T extends number | string>(a: T, b: T): void {
    f0(a); // Error: Argument of type 'T' is not assignable to parameter of type 'Object'.
}

知道以下是可以的，这是怎么回事：

function f2(v: number | string) {
    f0(v);
}
function f3<T extends number>(v: T) {
    f0(v);
}
function f4<T extends string>(v: T) {
    f0(v);
}

Answer 1

我终于问了MS，这似乎是一个错误： https : //github.com/Microsoft/TypeScript/issues/2576