never类型妙用

1
function log1<T>(x:T extends number ? never : T) {}
2
// log1(1) // error
3
// log1('1') // ok
4

5
type BandType<T,K> = T extends K ? never : T
6

7
function log2<T>(x:BandType<T,string>) {}
8
// log2(1) // ok
9
// log2('1') // error