Comment by aluminum96

I thought this was a pretty good explanation of why TypeScript has a `never` type. I always see it used in conditional and mapped types, but didn't understand why the language had it to begin with.