On Saturday, 24 December 2011 at 20:09:46 UTC, bearophile wrote: > GNU C has a noreturn attribute since a lot of time. I don't > fully understand why such attribute is so useful in C programs, > but is something like a @noreturn function attribute useful in > D too? Maybe to implement a better halt assert(0)? How about: scope(success) assert(0); ?