Jun 19, 2026 The compiler should catch missing state cases, not your QA team Adding a new state to your machine is easy. Remembering to update every switch statement is not. type-level-correctnessstate-machinesexhaustiveness-checkingtypescript
