Re: proposed @noreturn attribute

[Moritz Maxeiner via Digitalmars-d]

On Tuesday, 18 July 2017 at 21:45:27 UTC, Adam D. Ruppe wrote:

On Tuesday, 18 July 2017 at 21:35:21 UTC, Moritz Maxeiner wrote:

Could you explain why `return foo();` is even legal for a `void foo() {}`?

Suppose you are writing a template function that forwards:

auto forward(alias fun, T...)(T args) {
   return fun(args);
}


It just saves you from having to static if(fun returns void).

That's a good pragmatic (syntactic sugar) reason, thanks.