narrowing doesn't work when spreading from ternary operator

Bug Report

🔎 Search Terms

narrow spread ternary

🕗 Version & Regression Information

v4.5.0-dev.20210907

⏯ Playground Link

Playground link with relevant code

💻 Code

interface Foo {
  type: "foo"
  foo: string
}

interface Bar {
  type: "bar"
  bar: number
}

declare const thing: Foo|Bar

const otherThing: Foo|Bar = { //error: Type '"foo" | "bar"' is not assignable to type '"foo"'.
  type: thing.type,
  ...(thing.type === "foo" ? { foo: thing.foo } : { bar: thing.bar })
}

🙁 Actual behavior

error: Type '"foo" | "bar"' is not assignable to type '"foo"'.

🙂 Expected behavior

no error, since it's not possible for the object to not match either the Foo or Bar types

Inizia con il TypeScript Playground collegato e l'esempio minimo Foo|Bar. Traccia come il type checker gestisce il narrowing all'interno di un'espressione ternaria usata in un object spread. Il lavoro è completato quando l'esempio supera il controllo dei tipi senza errori, preservando al contempo il controllo corretto dei rami di spread incompatibili.