Re: Musings on infinite loops and not reachable returns

[Chris Williams]

On Tuesday, 25 March 2014 at 20:49:57 UTC, bearophile wrote:
Note how the opApply() of Foo should not end with a return, 
while the opApply() of Bar is required by the D compiler to end 
with a return.

Yet, Foo is contains an infinite loop, so the result of Bar 
will not be reached. But the type system of D is not strong 
enough to see that.

I'm not seeing it. "while (true)" is no more an infinite loop 
than "for (i = 0; i < x; i++)", if the body of the while has a 
break or return statement.

int i = 0;
while (true) {
    if (i < x) break;
    i++;
}