proposed @noreturn attribute

[Andrei Alexandrescu via Digitalmars-d]

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