The following rule applies to these kinds of expressions: literals (14.5.1), simple names (14.5.2), member access expressions (14.5.4), non-indexed base access expressions (14.5.8), and typeof expressions (14.5.11). The definite assignment state of v at the end of such an expression is the same as the definite assignment state of v at the beginning of the expression.