proposed @noreturn attribute

[Timon Gehr via Digitalmars-d]

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.)