Quando crio uma união entre dois tipos de objeto ( Ae B), espero que uma variável atribuída a esse tipo de união só possa assumir o formato de Aou B.
Inesperadamente, badnão há um erro de tipo aqui, embora intuitivamente devesse haver, pois não satisfaz as restrições de Anem B. Link do Typescript Playground
type A = {a: string}
type B = {a: string, b: string, c: string}
type Foo = A | B
// this should be a type error, but it isn't?
// to be valid, it should either:
// - not have "c" property
// - add the "b" property
const bad: Foo = {
a: "",
c: ""
}
Como posso melhorar Foopara que a badvariável falhe com um erro de tipo?