proposed @noreturn attribute

[Walter Bright via Digitalmars-d]

On 7/16/2017 1:15 PM, Timon Gehr wrote:
> In this case, Bottom.sizeof is a value of type Bottom, which must not exist.

T.sizeof is a value of type size_t, not type T.