Re: proposed @noreturn attribute

[Stefan Koch via Digitalmars-d]

On Sunday, 9 July 2017 at 19:12:45 UTC, Walter Bright wrote:

On 7/9/2017 6:13 AM, Andrei Alexandrescu wrote:

We should use typeof(assert(0)) for Bottom. There is precedent - there is no name for typeof(null).

I had forgotten about the typeof(null) thing. You're right. But there are some issues. What do we do with:

    typeof(assert(0))* p;

? What does that mean?

Not valid.
Cannot take a pointer of typeof(assert(0)).