proposed @noreturn attribute

[Yuxuan Shui via Digitalmars-d]

On Tuesday, 18 July 2017 at 15:26:59 UTC, Timon Gehr wrote:
> On 18.07.2017 14:19, Stefan Koch wrote:
>> [...]
>
> D has a C-inspired first-order type system, so it is not 
> necessarily crucial to have it in D. (The reason I got involved 
> in this thread is that it was proposed to add Bottom as a type 
> that is not really a type; 'void' is annoying enough as the 
> 'null' of types. We don't really need another one of those.)
>
> [...]

What about void?