Bug 20733 – Documentation for hasElaborateAssign says copy construction creates an opAssign

Documentation for hasElaborateAssign says: A type `S` gets compiler-generated `opAssign` in case it has an elaborate copy constructor or elaborate destructor. In fact, having an elaborate copy constructor does not generate an opAssign: --- import std.stdio; import std.traits; struct S { this(ref const S other) { writeln("elaborate!"); } } void main() { S s; writeln("copy construction:"); S s2 = s; writeln("assignment:"); s = s2; pragma(msg, __traits(allMembers, S)); pragma(msg, hasElaborateAssign!S); } ---- output: -- compile time output tuple("__ctor") false -- runtime output copy construction: elaborate! assignment: --- No opAssign as a member, no elaborate assignment appears to be happening, and hasElaborateAssign is false. The documentation should be changed.

@schveiguy updated dlang/phobos pull request #7443 "Fix 20733. Remove docs about copy construction from hasElaborateAssign." fixing this issue: - Fix issue 20733. Remove docs about copy construction from hasElaborateAssign. https://github.com/dlang/phobos/pull/7443

dlang/phobos pull request #7443 "Fix 20733. Remove docs about copy construction from hasElaborateAssign." was merged into master: - 0d7bdb90fbd35640b3ec7936c4556ab4b067e218 by Steven Schveighoffer: Fix issue 20733. Remove docs about copy construction from hasElaborateAssign. https://github.com/dlang/phobos/pull/7443