foreach (type identifier in expr) embedded-statement
2 The definite assignment state of v at the beginning of expr is the same as the state of v at the beginning of stmt.
3 The definite assignment state of v on the control flow transfer to embedded-statement or to the end point of stmt is the same as the state of v at the end of expr.