When can names already declared in the current block appear on the left of :=?

When can names already declared in the current block appear on the left of :=?

1. When at least one other non-blank name on the left is new in that block
2. Only when every name on the left already exists
3. Whenever the statement is inside an if block
4. Never; := requires every left-side name to be new