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`?
