类型缩小对(几乎)受歧视的工会不起作用

给定以下类型定义:

type A = { a: string } | { a?: undefined; b: string }

这基本上意味着,如果你提供 a ,这就是您应该提供的全部内容。如果您不提供 一 ,或者您提供 一 但它是 undefined ,您还必须提供 b

我希望能够访问 b 如果 一 根据以下代码未定义:

let t = true
// The purpose in this line of code is to confuse the compiler such that it won't narrow the definition right in this line of code.
const z: A = t ? { a: 'a' } : { b: 'b' }

if (z.a) {
  console.log(z.a)
} else {
  console.log(z.b)
}

我得到的是以下错误消息:

Property 'b' does not exist on type 'A'.
  Property 'b' does not exist on type '{ a: string; }'

这里有 link 带相关代码前往ts游乐场。

我期待着一个类型安全的解决方案。即,不使用不安全的字符串来测试属性的存在,例如 hasOwnProperty('b') 并且没有类型断言。

这可能吗?