TypeScript: Control flow analysis for destructured discriminated unions | Heykuki News