🔎 搜索词

refinement narrow let any

🕗 版本与回归信息

• 在版本3.9.7和4.0.5之间有所变化；从4.0.5到5.3的每个版本中都存在这种行为；我浏览了整个FAQ文档，但没有找到任何相关的内容

⏯ Playground链接

https://www.typescriptlang.org/play?ts=5.3.0-dev.20231013#code/C4TwDgpgBAsiAq5oF4oG8qkgLigcgEE8oBfKAH3UyVzwCFiSBuAKBYDMBXAOwGNgAlgHtuUdgAoAhgCcA5rjiJIASnQsoGqABsIwKAA9Wmg1FQzZRzQPZRx+gHRYUyVITyq06zWQhaAztDWtg5Opi74DB5eGj7+0J7Gxjp6APq43BAAbhDSpgaWMSwkLEA

💻 代码

type MyType = { type: 'A' } | { type: 'B' };

function f(arg: MyType) {
    let x;
    x = arg;
    if (x.type === 'A') {
    } else if (x.type === 'B') {
    } else {
        let _: never = x;
    }
}

🙁 实际行为

error TS2322: Type '{ type: "B"; }' is not assignable to type 'never'.

9         let _: never = x;
              ~

这种情况是错误的，原因有两点：

• 在完美的类型推断世界里， x 应该在这个点上缩小为 never
• 即使承认可能存在一些实际限制，行为也不一致。

第一个条件成功消除了"A"变体：

但是第二个条件未能消除"B"变体：

🙂 预期行为

理想情况下，这不应该是一个错误。
然而，鉴于基于控制流的类型推断具有其局限性，也许某种虚假错误是不可避免的。在这种情况下，它可能更像是 Type 'MyType' is not assignable to type 'never' 而不是 Type '{ type: "B" }' is not assignable to type 'never'。

关于此问题的其他信息

这个问题的实际影响很小。添加一个显式类型注解( let x: MyType; )有一个简单的解决方法。
然而，这种不对称性，即最后一个条件在缩小时失败，而前一个条件在该时机成功，让我感到困扰。我之所以报告这个问题，是因为它可能是更一般实现缺陷的症状。