Для оператора foreach stmt в форме
foreach ( неуправляемый_тип: идентификатор in выражение ) внедренный_оператор
· состояние определенного присваивания переменной v в начале выражения expr соответствует состоянию переменной v в начале операции stmt;
· состояние определенного присваивания переменной v при переключении потока управления на внедренный_оператор или в конечную точку операции stmt соответствует состоянию переменной v в конце выражения expr.