void 1.0.0

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