proposed @noreturn attribute

[Timon Gehr via Digitalmars-d]

On 16.07.2017 21:49, Guillaume Boucher wrote:
> On Sunday, 16 July 2017 at 12:41:06 UTC, Timon Gehr wrote:
>> It is therefore most natural to say that Bottom.sizeof == ∞.
> 
> True, but size_t.max doesn't have the properties of ∞.
> The only sane choice to me seems to be a value of type Bottom, i.e. 
> is(typeof(Bottom.sizeof) == Bottom).
> 

In this case, Bottom.sizeof is a value of type Bottom, which must not exist.