Slightly surprising behavior of a while loop

No apologies are needed. Posts like this are useful for those of us who like to help, and who work on rustc to make it more helpful, by letting us learn about what kinds of mistakes people make.