On Wednesday, 19 July 2017 at 11:35:47 UTC, Timon Gehr wrote: > a value of type bottom can be used to construct a value for any > other type. AFAIK from type theory, bottom is defined as having no values (so one can't reason about the relationship of such non-existent value(s) to values of other types).