(From submission #542.)

Consider:

  union U {};
  struct S {
    U u [[no_unique_address]];
    char c;
  };
  S s;
  s.c = 1;
  s.u = U();   // #1

As specified, the move-assignment at #1 might disturb the value of s.c.