On Tuesday, 11 July 2017 at 08:29:12 UTC, Timon Gehr wrote: > On 10.07.2017 18:23, Meta wrote: >> ... >> problems with stuff like typeof(null)* etc. because for the >> most part it's just a regular type, unlike Bottom. > > Bottom is just a regular type. It's a regular type with unusual behaviour due to it being uninhabited.