TypeScript: Control flow analysis for destructured discriminated unions