The void type is called 'never' in TypeScript¶
Although TypeScript has a void keyword it's really another word for undefined for historical reasons - it isn't the void from type theory.
TypeScript has access to the void type through the never keyword