是否可以让TypeScript正确推断funcAorB函数中callback参数的类型？当调用funcAorB时，它可以从调用者的Angular 推断callback参数的类型，但不能在funcAorB的主体中推断。我希望既然TypeScript能够确定data参数的正确类型，由于switch语句测试key成员，因此无论在函数中使用T泛型类型，它都将使用相同的类型。
我喜欢在调用funcAorB时正确地推断callback的类型，我只是希望我能在funcAorB中得到同样的推断。
打字机游戏场

type DataA = {
  readonly key: 'a',
};

type DataB = {
  readonly key: 'b',
};

function funcA(data: DataA, callback: (data: DataA) => void) {}
function funcB(data: DataB, callback: (data: DataB) => void) {}

function funcAorB<T extends DataA | DataB>(data: T, callback: (data: T) => void) {
  switch (data.key) {
    case 'a': {
      // TypeScript believes that data is of type DataA now.
      // But, I have to use "as" because TypeScript thinks that
      // callback can be ((data: DataA) => void | (data: DataB) => void).
      funcA(data, callback as (data: DataA) => void);
      break;
    }
    case 'b': {
      // TypeScript believes that data is of type DataB now.
      // But, I have to use "as" because TypeScript thinks that
      // callback can be ((data: DataA) => void | (data: DataB) => void).
      funcB(data, callback as (data: DataB) => void);
      break;
    }
  }
}

// The callback type is inferred properly at the call site.
funcAorB({ key: 'a' }, (data) => {
  // This succeeds because data is inferred to be DataA.
  const a: 'a' = data.key;
});

// The callback type is inferred properly at the call site.
funcAorB({ key: 'b' }, (data) => {
  // This succeeds because data is inferred to be DataB.
  const b: 'b' = data.key;
});