Merge pull request #8951 from RazvanN7/Issue_19393

Fix Issue 19393 - Structure dtor isn't called after passed to T[] argument. Memory leaks issue

src/dmd/expressionsem.d

@@ -1696,6 +1696,7 @@ private bool functionParameters(const ref Loc loc, Scope* sc,
                             }
                             else
                                 a = a.implicitCastTo(sc, tbn);
+                            a = a.addDtorHook(sc);
                             (*elements)[u] = a;
                         }
                         // https://issues.dlang.org/show_bug.cgi?id=14395

test/runnable/test19393.d

@@ -0,0 +1,37 @@
+string result;
+
+struct S
+{
+    this(this)
+    {
+        result ~= "A";
+    }
+
+    ~this()
+    {
+        result ~= "B";
+    }
+}
+
+void foo(const(S)[] ar...)
+{
+    /* postblit gets called on this initialization,
+     * then when the function returns, the destructor
+     * gets called => result = "AB";
+     */
+    auto d = ar[0];
+}
+
+void bar()
+{
+    /* S(null) needs to be destroyed after the function call,
+     * that means that another `B` is appended => result = "ABB"
+     */
+    foo(S());
+}
+
+void main()
+{
+    bar();
+    assert(result == "ABB");
+}