DIP 1017--Add Bottom Type--Community Review Round 1

[bachmeier]

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.