12.3.3.11 Throw statements
For a statement stmt of the form
throw expr ;
the definite assignment state of v at the beginning of expr is the same as
the definite assignment state of v at
the beginning of stmt.
For a statement stmt of the form
throw expr ;
the definite assignment state of v at the beginning of expr is the same as
the definite assignment state of v at
the beginning of stmt.