On 19.07.2017 12:59, Stefan Koch wrote:
On Wednesday, 19 July 2017 at 10:44:22 UTC, Timon Gehr wrote:No. Bottom is to types as typeof(null) is to class types.I fear you lost me again :)as far as I understood your previous explanation, every type is a subtype of bottom, is that incorrect ?
It is the other way around. Bottom is a subtype of every type / a value of type bottom can be used to construct a value for any other type.
