ループは他のシステムプログラミング言語のそれとは少し異なる働きをします。code}式(expression)はIntoIteratorを用いてイテレータへと変換することができるアイテムです。イテレータは一連の要素を返します。それぞれの要素がループの1回の反復になります。ループ本体を抜けると、次の値がイテレータから取り出され、次のループ処理を行います。開始と終了位置をとる式であり、同範囲の値を返すイテレータを与えます。