Void is impossible to construct

In type theory, void is a type with no elements. This means that it is impossible to construct a void type.

Void is often used to indicate somewhere a value should never exist. Because of this, some programming languages call void 'never'.