@alexcrichton Well, I should probably clarify that in the example above, nothing in the program was changing `i`, thus, a compiler could assume it to be constant and factor the condition out, resulting in a static `while true`.

Does that make sense?