@noreturn property

[bearophile]

Iain Buclaw:

> @noreturn void fatal()
> {
>     print("Error");
>     exit(1);
> }

See also the same feature in GNU C:
http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html#index-g_t_0040code_007bnoreturn_007d-function-attribute-2455

Bye,
bearophile