[Issue 2678] for loops are already assumed to terminate

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=2678





------- Comment #2 from shro8822 at vandals.uidaho.edu  2009-02-20 10:52 -------
You would also need to take into account try/catch blocks. This doesn't
actually invalidate the assertion (you still can't fall out of the loop), it
just forces you to be more careful how you read it (you /can/ end up running
the next line of code after the loop if it is in a catch block) 


--