Nested Tagged Unions

TypeScript Version: 2.5.2

Code

type A = { type: "a", a: number }
type B = { type: "b", b: number }

type X = { type: A, a: string }
type Y = { type: B, b: string }

let x: X | Y

if (x.type.type === "a") {
	x.a // Type Error
}

Expected behavior:

I would expect x to have type X inside the if-statement after disambiguating the nested tagged union types.

Actual behavior:

Issue にあるネストされた tagged-union の例から始め、TypeScript 2.5.2 に対して再現してください。ネストされた discriminant に対する type-checker の narrowing の挙動を追跡します。完了条件は、分岐によって x が X に絞り込まれ、x.a でエラーが発生しなくなること、およびその例の回帰テスト網羅を追加することです。