Typescript跟踪控制流和推断类型的能力是有限的。它不能真正执行你的整个程序，并找出类型。
因此，当TypeScript评估变量是否在使用前被赋值时，它会看到以下内容：

• 未初始化的变量let someVar: number;
• 然后调用类型为() => Promise<void>的函数
• 然后尝试使用someVar，它从未在此范围内的赋值 * 中看到。

没有一种方法可以声明一个函数有 * 副作用 *，这将影响作用域中的类型。这里的“副作用”意味着它改变了自己作用域之外的一些值。
在不了解真实的目标的情况下，很难给予如何修复它，但在这种情况下，返回值可能会更好，这样赋值就可以在正确的范围内完成。
例如：

async function foo() {
  let someVar: number;

  const someFunc = async () => 1;

  someVar = await someFunc();

  if (someVar == 1) { // works fine
    console.log('It is 1');
  }
}

见操场
这种方法通常更好，因为尽可能最小化函数的副作用是一件好事。
如果你不能访问返回值，那么你需要初始化变量，因为typescript不能像你希望的那样看到你的函数内部。
初始化为undefined，然后在函数运行后缩小该类型，以确保它得到设置。

async function foo() {
  let someVar: number | undefined; // add undefined to type here

  const someFunc = async () => {
    someVar = 1
  };
  
  await someFunc();
  if (someVar === undefined) throw new Error("someVar was not set")

  // type of `someVar` here is now `number`
  
  if (someVar == 1) {
    console.log('It is 1');
  }
}

参见Playground
你可以使用!类型操作符来表示你想允许变量为undefined，但是每次你访问它的时候，你都想假设它存在。

async function foo() {
  let someVar!: number; // note the ! here

  const someFunc = async () => {
    someVar = 1
  };
  
  await someFunc();

  if (someVar == 1) {
    console.log('It is 1');
  }
}

这不太理想，因为这会使代码的类型安全性降低。这意味着它永远不会检查赋值是否发生，如果由于某种原因没有发生，您可能会遇到运行时崩溃而不是编译时错误。
所以这应该被认为是最后的手段。
参见Playground