For a using statement stmt of the form: The definite assignment state of v at the beginning of resource-acquisition is the same as the state of v at the beginning of stmt. The definite assignment state of v on the control flow transfer to embedded-statement is the same as the state of v at the end of resource-acquisition.