Postblit is still a form of copy constructor

dlang · Aug 2, 2019 · a17241e · a17241e
1 parent 011b7c6
commit a17241e
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 4 deletions.
diff --git a/src/dmd/traits.d b/src/dmd/traits.d
@@ -621,7 +621,7 @@ Expression semanticTraits(TraitsExp e, Scope* sc)
             }
             else if (e.ident == Id.hasElaborateCopyConstructor)
             {
-                return sd.hasCopyCtor ? True() : False();
+                return sd.hasCopyCtor || sd.postblit !is null ? True() : False();
             }
         }
         return True();

diff --git a/test/compilable/traits.d b/test/compilable/traits.d
@@ -112,19 +112,24 @@ void foo(T)()
     static assert (__traits(hasElaborateCopyConstructor, S!int));
 }
 
-struct U(T) {
+struct U(T)
+{
     this (ref U rhs) {}
 }
 
-struct SPostblit {
+struct SPostblit
+{
     this(this) {}
 }
 
+struct NoCpCtor { }
+
 static assert(__traits(hasElaborateCopyConstructor, S));
 static assert(__traits(hasElaborateCopyConstructor, OuterS.S));
 static assert(__traits(compiles, foo!int));
 static assert(__traits(compiles, foo!S));
 static assert(__traits(hasElaborateCopyConstructor, U!int));
 static assert(__traits(hasElaborateCopyConstructor, U!S));
+static assert(__traits(hasElaborateCopyConstructor, SPostblit));
 
-static assert(!__traits(hasElaborateCopyConstructor, SPostblit));
+static assert(!__traits(hasElaborateCopyConstructor, NoCpCtor));