#32695 提到：
函数名解析为具有 asserts 返回类型的函数类型，或者具有显式的 never 返回类型注解。
shouldNeverReturn 没有解析为这样的函数，它只是后来被缩小到一个。不幸的是，PR 没有提到联合体，所以不清楚这是有意的(我的猜测)还是不是。

我认为原则上可以将检查范围扩大到工会，但这似乎是一个相当罕见的情况。return shouldNeverReturn();的旧解决方法在这里效果很好。如果经常遇到这种情况，我们可以进一步研究。

我刚刚在重构一个日志函数时遇到了这个问题，我不得不抛出传递给它的错误对象。例如，我的代码看起来像这样：

if (!obj.requiredProp) {
  const error = new Error('requiredProp is required');
  logger.error(error.message)
  throw error;
}

someFn(obj.requiredProp);

我的新代码添加了一个 throw 函数，使用方式如下：

declare const logger: { throw: (error: unknown) => never };

if (!obj.requiredProp) {
  logger.throw(new Error('requiredProp is required'));
}

someFn(obj.requiredProp); // argument of type 'string | null' is not assignable to parameter of type 'string'

在这里我期望进行一些类型缩小，但我得到了评论中提到的错误。

今天我遇到了另一个类似的问题。我不能100%确定是否是同一个问题，但它看起来很像。
请考虑以下代码片段：

function checkFoo(something: string): boolean {
  if (something === "foo") {
    return true;
  }

  if (something === "bar") {
    return false;
  }

  throw new Error("Unknown something.");
}

它运行得很好！👍

function error(msg: string): never {
  throw new Error(msg);
}

function checkFoo(something: string): boolean {
  if (something === "foo") {
    return true;
  }

  if (something === "bar") {
    return false;
  }

  error("Unknown something.");
}

当开启"noImplicitReturns"编译器标志时，这段代码会失败。❌
它提示“并非所有代码路径都返回值”，这是错误的，因为所有代码路径都以与第一个代码片段完全相同的方式返回，但TypeScript并不足够智能地意识到这一点。

好的，Retsam帮助我意识到，如果在error函数上添加一个返回类型注解为never,代码就可以编译。而TypeScript编译器无法自动完成这一点的原因是Ryan Cavanaugh提出的discussed here。所以我猜可以忽略"noImplicitReturns"这个事情。(但是类型缩小仍然是一个问题。)

@RyanCavanaugh,你觉得这是否是社区成员可以贡献的事情？我特别感兴趣的是如何解决上面提到的@kherock的使用案例。