Discussion Thread: DIP 1034--Add a Bottom Type (reboot)--Community Review Round 1

[Dennis]

On Wednesday, 6 May 2020 at 21:44:17 UTC, Johannes Loher wrote:
> With this DIP, might it make sense to also allow noreturn as a 
> return type for main, just for consistency?

I think so.