> The assignment cannot take place until the assigned value is known. Of course it can. It's retrieving the value out of the lvalue is what cannot be done and

> The assignment cannot take place until the assigned value is known. Of course it can. It's retrieving the value out of the lvalue is what cannot be done and even then you can still stretch this delay further with the "as-if" rule. Haskell does something similar with its lazy evaluation IIRC.