proposed @noreturn attribute

[Walter Bright via Digitalmars-d]

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?