proposed @noreturn attribute

[Andrei Alexandrescu via Digitalmars-d]

On 07/16/2017 04:15 PM, Timon Gehr wrote:
> 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.

Yah that's not workable. Generally the fewer odd exceptions the better, 
lest all generic code going forward will have to account for those.

Timon, since you got your first DIP approved, now is the time to keep 
the momentum going with a new one!


Andrei