void 0.0.5

The uninhabited void type for use in statically impossible cases.
Documentation