Merge pull request #2911 from pbackus/fix-19902

Fix issue 19902 - hasElaborateCopyConstructor doesn't know about copy…
merged-on-behalf-of: Nicholas Wilson <[email protected]>

Author: dlang-bot

src/core/internal/traits.d

@@ -292,14 +292,43 @@ template hasElaborateCopyConstructor(S)
     }
     else static if (is(S == struct))
     {
-        enum hasElaborateCopyConstructor = __traits(hasMember, S, "__xpostblit");
+        enum hasElaborateCopyConstructor = __traits(hasCopyConstructor, S) || __traits(hasPostblit, S);
     }
     else
     {
         enum bool hasElaborateCopyConstructor = false;
     }
 }
 
+@safe unittest
+{
+    static struct S
+    {
+        int x;
+        this(return scope ref typeof(this) rhs) { }
+        this(int x, int y) {}
+    }
+
+    static assert(hasElaborateCopyConstructor!S);
+
+    static struct S2
+    {
+        int x;
+        this(int x, int y) {}
+    }
+
+    static assert(!hasElaborateCopyConstructor!S2);
+
+    static struct S3
+    {
+        int x;
+        this(return scope ref typeof(this) rhs, int x = 42) { }
+        this(int x, int y) {}
+    }
+
+    static assert(hasElaborateCopyConstructor!S3);
+}
+
 template hasElaborateAssign(S)
 {
     static if (__traits(isStaticArray, S) && S.length)