Union型について

Question

TypeScriptを勉強していて、Union型に関するエラーの原因が分からず悩んでいます。

ソースコード中の"both"という変数に入っているオブジェクトはCat型もDog型も満たしているはずですが、Cat型の変数（Dog型の変数）に代入できないのはなぜでしょうか？

発生している問題・エラーメッセージ

Type 'CatOrDogOrBoth' is not assignable to type 'Cat'.
  Property 'puurs' is missing in type 'Dog' but required in type 'Cat'.

Type 'CatOrDogOrBoth' is not assignable to type 'Dog'.
  Type 'Cat' is missing the following properties from type 'Dog': barks, wags

該当のソースコード

type Cat = {
  name: string
  puurs: boolean
}
type Dog = {
  name: string
  barks: boolean
  wags: boolean
}

type CatOrDogOrBoth = Cat | Dog
type CatAndDog = Cat & Dog

const both: CatOrDogOrBoth = {
  name: "hoge",
  puurs: false,
  barks: false,
  wags: false
}

const both_: CatAndDog = {
  name: "hoge",
  puurs: false,
  barks: false,
  wags: false
}

let dog: Dog = both // error
let cat: Cat = both // error

dog = both_
cat = both_

試したこと

以下のようにすると、エラーが起こりませんでした。

const hoge = {
  name: "hoge",
  puurs: false,
  barks: true,
  wags: true
}
let cat: Cat = hoge

Answer 1

const 変数に型注釈がある場合、「変数の型は原則として型註釈がそのまま採用されます。」だそうです。
参考: 型註釈がある場合 (TypeScriptの型推論詳説 - Qiita)

つまり、const both: CatOrDogOrBoth = { 〜 } とした場合、実際の値とは無関係に both の型は CatOrDogOrBoth となり、Cat とは限らない (Dog かもしれない) ので Cat 型の変数に無条件では代入できないのだと思います。

const hoge = { 〜 } のように型注釈がない場合は、hoge は実際の値に基づいた型になるため、Cat にも Dog にも適合するのでしょう。