Bug报告

我本以为 doesNotNarrow (下文)也能将 x.b 缩小为 NonUndefined<B> 。

🔎 搜索词

通用，缩小，区分，联合，可选

🕗 版本与回归信息

这是我尝试的每个版本的行为，我也查阅了所有常见问题条目的内容。

⏯ Playground链接

带有相关代码的Playground链接

💻 代码

type NonUndefined<T> = T extends undefined ? never : T

type X<A, B> = { a: NonUndefined<A>, b?: never } | { a?: never, b: NonUndefined<B> }

function doesNarrow(x: X<number, number>) {
  if (x.a === undefined) {
    const y = x.b
      // ^? number
  } 
}

function doesNotNarrow<A extends number, B extends number>(x: X<A, B>) {
  if (x.a === undefined) {
    const y = x.b
      // ^? NonUndefined<B> | undefined
  } 
}

🙁 实际行为

x.b 没有被缩小。

🙂 预期行为

我预期 x.b 能够被缩小，因为如果 x.a 是 undefined 的话，那么 x 必须是区分联合的后半部分，因为 x.a 在那里只能是 undefined 。TypeScript 似乎能够在类型参数为常量/非泛型时解决这个问题(参见 doesNarrow ),但出于某种原因，它无法解决泛型情况(尽管 NonUndefined 应该使其成为可能)。