On Saturday, 6 June 2020 at 12:02:03 UTC, MoonlightSentinel wrote: > On Saturday, 6 June 2020 at 08:55:20 UTC, Jack Applegame wrote: >> Should it compile? > > No, moveEmplace just sees a const reference and doesn't know > that a is void-initialized. Actually, it knows. Because moveEmplace assumes target is uninitialized.