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:

Beginne mit dem verschachtelten Tagged-Union-Beispiel im Issue und reproduziere es mit TypeScript 2.5.2. Verfolge das Eingrenzungsverhalten des Type-Checkers für den verschachtelten Diskriminanten; abgeschlossen ist die Aufgabe, wenn der Zweig x auf X eingrenzt, sodass x.a keinen Fehler mehr verursacht, mit einer Regressionstestabdeckung für das Beispiel.