Either._replaceLeft

Replace the active alternative with value as the left one.

The payload arrives by value: an lvalue source is copied into the parameter before the old member is destroyed, which keeps self-assignment safe; an rvalue source is moved. Overwriting may invalidate references into the right alternative, so the replacement is @system when R contains indirections (mirroring Phobos' SumType).