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?