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

[Gary Willoughby]

On Thursday, 9 August 2018 at 13:42:57 UTC, bachmeier wrote:
> On Thursday, 9 August 2018 at 03:02:55 UTC, Mike Parker wrote:
>> This is the feedback thread for the first round of Community 
>> Review for DIP 1017, "Add Bottom Type":
>
> 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?

`bottom_t` or `never_t` are much better but perhaps this should 
actually be an attribute `@bottom`, or more a documenting: 
`@noreturn`?