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?
