proposed @noreturn attribute

[Walter Bright via Digitalmars-d]

On 7/13/2017 5:18 PM, Andrei Alexandrescu wrote:
> On 7/13/17 2:37 PM, Timon Gehr wrote:
>> On Thursday, 13 July 2017 at 17:25:18 UTC, Timon Gehr wrote:
>>> Anyway, my assertion that Bottom cannot be a subtype of all other types was 
>>> actually incorrect: the compiler does not need to generate code for implicit 
>>> conversion from Bottom to some other type, so it can be treated as a subtype.
>>> ...
>>
>> (Actually, there are some complications like the .sizeof property. Anyway, it 
>> is clear what the semantics of Bottom are, no matter whether it is subtyping 
>> or implicit conversion.)
> 
> I wonder if sizeof could be made size_t.max. -- Andrei

I thought bottom.sizeof would be 0.