proposed @noreturn attribute

[Walter Bright via Digitalmars-d]

On 7/17/2017 5:13 PM, Timon Gehr wrote:
>> (Reminds me of divide by 0 discussions in calculus class.)
> 
> The reason division by 0 is left undefined is that instead saying 1/0 = ∞ 
> introduces a new number ∞ that does not play nice with the axioms of a complete 
> ordered field.
> 
> The question for instance size is based on the wrong assumption that there is 
> such an instance. It is true none the less that ∞ is the most natural answer to 
> this question, as if you have multiple answers for instance size, you'd take the 
> supremum. Of course, size_t does not contain ∞.

Infinity makes sense for 1/0, but I don't see how that automatically transfers 
to size_t.