void 1.0.2

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