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)).