proposed @noreturn attribute

[Timon Gehr via Digitalmars-d]

On 18.07.2017 01:01, Walter Bright wrote:
> ...
> 
> But if Bottom does not exist, then S doesn't exist either, and hence the 
> < size relationship has no meaning.
> ...

Both Bottom and S exist, but they have no instances.

> (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 ∞.