proposed @noreturn attribute

[Timon Gehr via Digitalmars-d]

On 19.07.2017 14:13, Moritz Maxeiner wrote:
> On Wednesday, 19 July 2017 at 11:35:47 UTC, Timon Gehr wrote:
>> a value of type bottom can be used to construct a value for any other 
>> type.
> 
> AFAIK from type theory, bottom is defined as having no values (so one 
> can't reason about the relationship of such non-existent value(s) to 
> values of other types).
https://en.wikipedia.org/wiki/Principle_of_explosion