戻る

for pat in expr { block }
は

{
let mut iter = std::iter::IntoIterator(expr);
while let Some(pat) = iter.next() { block }
}

の糖衣構文です (これは慣れると当然に見えてくるので、そこまで深く悩まなくてもよい)