Bug报告

🔎 搜索词

空交集，从不，返回类型

🕗 版本与回归信息

• 在所有我尝试的版本中，我都发现了这种行为，我也查看了关于类型的常见问题解答。

⏯ Playground链接

strictNullChecks: false
strictNullChecks: true

💻 代码

type A = { p: "A" };
type B = { p: "B" };

function f1(): never {
  return;
}

function f2(): A & B {
  return;
}

function g1(): never {}

function g2(): A & B {}

🙁 实际行为

f1: Type 'undefined' is not assignable to type 'never'. (预期)
f2 w/ strictNullChecks: false: 没有错误发出
f2 w/ strictNullChecks: true: Type 'undefined' is not assignable to type 'never'. The intersection 'A & B' was reduced to 'never' because property 'p' has conflicting types in some constituents. (预期)
g1: A function returning 'never' cannot have a reachable end point. (预期)
g2: A function whose declared type is neither 'void' nor 'any' must return a value.

🙂 预期行为

f2 和 g2 应该分别生成与 f1 和 g1 相同的错误，除了对空交集类型的详细说明。
注意：有人建议将修复与 #47751 分开，如果这真的是个bug,我已经准备好提交另一个PR了。