Permitting discontiguous object lifetimes instead of carving out special exceptions for pointers to transparently replaced objects would simplify the wording; when transparemtly replacing an object, the lifetime of the prior objecct would simply start again.