TypeScript: Control flow analysis for destructured discriminated unionsgithub.com/microsoft299 pointstosh5 years ago