proposed @noreturn attribute

[Stefan Koch via Digitalmars-d]

On Wednesday, 19 July 2017 at 10:44:22 UTC, Timon Gehr wrote:
>
> No. Bottom is to types as typeof(null) is to class types.

I fear you lost me again :)

as far as I understood your previous explanation, every type is a 
subtype of bottom, is that incorrect ?