[Issue 15869] RVO can overwrite argument

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15869

--- Comment #7 from Yuxuan Shui <yshu...@gmail.com> ---
> As a result, &a is technically use-before-initialization and invalid.

If that's the case, this shouldn't compile:

struct Set {
    @disable this(this);
    int value = 0;
}
@safe Set clobber(Set* a) {}
struct XX {
    Set a = Set(1);
    @safe this(int n) {
        a = clobber(&a); // use-before-init
    }
}

But it does.

--