On 7/11/17 4:29 AM, 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.
Wouldn't the fact that it's a subtype of all other types make it a bit more peculiar? -- Andrei
