proposed @noreturn attribute

[Stefan Koch via Digitalmars-d]

On Tuesday, 18 July 2017 at 12:15:06 UTC, Timon Gehr wrote:
> On 18.07.2017 12:17, John Colvin wrote:
>> 
>> Better to just not define it.
>
> That's not an option. Bottom is a subtype of all types. It 
> cannot remove members, even static ones.

Timon, how important is it to actually have bottom ?
... and what does it actually represent ?
The closure of all possible types ?
like auto but if auto where not replaced ?