Fix issue 19902 - hasElaborateCopyConstructor doesn't know about copy constructors

Author: pbackus

src/core/internal/traits.d

@@ -290,14 +290,39 @@ template hasElaborateCopyConstructor(S)
     {
         enum bool hasElaborateCopyConstructor = hasElaborateCopyConstructor!(typeof(S.init[0]));
     }
-    else static if (is(S == struct))
+    else
     {
-        enum hasElaborateCopyConstructor = __traits(hasMember, S, "__xpostblit");
+        enum bool hasElaborateCopyConstructor = __traits(hasCopyConstructor, S) || __traits(hasPostblit, S);
     }
-    else
+}
+
+@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
     {
-        enum bool hasElaborateCopyConstructor = false;
+        int x;
+        this(return scope ref typeof(this) rhs, int x = 42) { }
+        this(int x, int y) {}
     }
+
+    static assert(hasElaborateCopyConstructor!S3);
 }
 
 template hasElaborateAssign(S)