Open
Description
Currently the references states that in *x = v, the value contained in x is first dropped before being replaced by v. If that where strictly the case, if the drop panics and that panic is caught, we could then observe an uninitialized x.
Indeed in practice, the generated clean up code moves v into x when unwinding, but this should likely be documented.