Type inference failure when accessing a value before its type is resolved

This has nothing to do with the loop. I've seen this on many field accesses where the compiler can infer the struct type just fine. Here's a minimal example:

play.rust-lang.org

Rust Playground

A browser interface to the Rust compiler to experiment with the language