TypeScript の共用体型（Union Types）は or ではない を読み、確かによく分からん挙動だなーと思って色々調べたり考えたりしたことを書いておく。 タグ無し共用体型 形状A, B に対して、A | B と A & B で定義される型の性質 A | B ＝ A ∪ Bという理解は正…