proposed @noreturn attribute

[Timon Gehr via Digitalmars-d]

On 19.07.2017 12:59, Stefan Koch wrote:
> 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 ?

It is the other way around. Bottom is a subtype of every type / a value 
of type bottom can be used to construct a value for any other type.