hencky / blog Goto Github PK

declare function demo1<T>(a: T, b: T): any;

// T被推断为number类型
demo1(1, 2);


declare function demo2<T extends number>(a: T, b: T): any;

// T被推断为更狭窄的类型 1 | 2
demo2(1, 2);