proposed @noreturn attribute

[crimaniak via Digitalmars-d]

On Sunday, 9 July 2017 at 00:16:50 UTC, Walter Bright wrote:
> I assume there is a standard jargon for this - does anyone know 
> Type Theory?
I'm afraid it's perpendicular to type theory - every type 
including Nothing can be returned. Most simple solution - just to 
remove '@' and call this type 'noreturn'.

noreturn functionFoo(bla-bla-bla);