On Thursday, 9 August 2018 at 13:45:54 UTC, Stefan Koch wrote:
I hope there is a better name than Tbottom. A name like that is not consistent with the rest of the language. Why not Bottom?according to the DIP, the name can be chosen arbitrarily as the type is retrieved via matching the type expression `typeof(assert(0))`
Okay. That's a lot worse. A type for a function that returns nothing and has an arbitrary name.
