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

[Dennis]

On Wednesday, 6 May 2020 at 22:27:44 UTC, Dukc wrote:
> If the compiler will really say "element type could not be 
> inferred from empty array" from trying to append to array of 
> `noreturn`, it's a bad error message.

True, it was just an example of how an error message need not 
explicitly mention `noreturn[]` or `typeof([])` per se.

> Perhaps the `noreturn` name, or whatever it will be, can be 
> better defined at DRuntime level, like `size_t`?

That's exactly what I'm proposing.

> I generally liked the rejected proposal of Walter, and I like 
> this one even more. Good luck with the remaining work!

Thanks!