@noreturn property

[Andrei Alexandrescu]

On 10/21/10 12:21 CDT, Rainer Deyke wrote:
> Feel free to think of a better name than 'null_type'.

It's a theory classic called "none" or "bottom". It's the bottom of the 
subtyping lattice, the subtype of all possible types, a type that can 
never be instantiated.

The feature is nice to have but is rarely of use and hardly a game changer.


Andrei