TypeScript：使用泛型和联合类型

Question

I have code which uses function overload, something like:

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
}

That I would like to convert using union types, but I get an error:

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'.
}

What's wrong here, knowing that the following is OK:

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