如何推断联合的泛型类型参数？

function processValue(value: string | number) {
  if ('toFixed' in value) {
    // value 是 number 类型
    return value.toFixed(2);
  } else {
    // value 是 string 类型
    return value.toUpperCase();
  }
}

function processValue<T extends string | number>(value: T) {
  if (typeof value === 'number') {
    // value 是 number 类型
    return (value as number).toFixed(2);
  } else {
    // value 是 string 类型
    return (value as string).toUpperCase();
  }
}