The native switch case statement is exhaustive?
One of the first libraries I add in every TS project is ts-pattern (GitHub - gvergnaud/ts-pattern: 🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.) for adding exhaustive pattern matching.