如何缩小Typescript中泛型类型的联合范围？

function processValue<T>(value: T): void {
  if (typeof value === 'string') {
    // 在这里，value的类型被缩小为string
    console.log(value.toUpperCase());
  } else if (typeof value === 'number') {
    // 在这里，value的类型被缩小为number
    console.log(value.toFixed(2));
  } else {
    // 在这里，value的类型被缩小为除了string和number之外的类型
    console.log(value);
  }
}

interface Foo {
  bar: string;
}

interface Baz {
  baz: number;
}

function processObject<T extends Foo | Baz>(obj: T): void {
  if ('bar' in obj) {
    // 在这里，obj的类型被缩小为Foo
    console.log(obj.bar.toUpperCase());
  } else {
    // 在这里，obj的类型被缩小为Baz
    console.log(obj.baz.toFixed(2));
  }
}