Improve / extend sample in [basic.life#8]

If I understand the current version of the standard correctly the following code would not be UB (please correct me if I'm wrong):

#include <iostream>

struct C {
  const int i;
  void f() const {
     std::cout << i << "\n";
  }
  C(int i) : i(i) {}
  C& operator=( const C& );
};

C& C::operator=( const C& other) {
  if ( this != &other ) {
    this->~C();                 // lifetime of *this ends
    new (this) C(other);        // new object of type C created
    f();                        // well-defined
  }
  return *this;
}

int main(){
    C c1(1);
    C c2(2);
    c1 = c2;                        // well-defined
    c1.f();
}

The important point is that with the new rules we allow the definition of a user defined assignment operator for non complete const objects with const sub-objects.
Could we mention this in a sample?

Start at the basic.life#8 section in the draft and review its current examples and wording alongside the proposed C++ sample. Confirm with the standard's current lifetime rules whether the example is appropriate, then update the relevant sample and verify that the section accurately reflects the accepted behavior.