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

Comienza con el TypeScript Playground enlazado y el ejemplo mínimo Foo|Bar. Sigue cómo el comprobador de tipos gestiona el narrowing dentro de una expresión ternaria utilizada en un object spread. Se considera terminado cuando el ejemplo pasa la comprobación de tipos sin errores y se conserva la comprobación correcta de las ramas de spread incompatibles.