Automatically infer TypeScript types in switch statements by Rares Matei