TypeScript’s never type, what’s the point? (2019) · HackerTrans