From 5f968e334e30c3342fb9afd4702ec68f96dcdff5 Mon Sep 17 00:00:00 2001
From: JinShil <slavo5150@yahoo.com>
Date: Sun, 25 Feb 2018 12:19:28 +0900
Subject: [PATCH] Add clariation about using destroy with pointers to value
 types

---
 src/object.d | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/src/object.d b/src/object.d
index c34d26e6fa..48cac897c5 100644
--- a/src/object.d
+++ b/src/object.d
@@ -2971,6 +2971,30 @@ unittest
     assert(i == 0);           // `i` is back to its initial state `0`
 }
 
+/********
+To destroy a value type through a pointer, the pointer must be dereferenced.
+Otherwise `destroy` will only destroy the pointer itself, not the entity being
+referenced.
+*/
+nothrow @safe unittest
+{
+    static struct S
+    {
+        static int dtorCount;
+        ~this() { dtorCount++; }
+    }
+
+    S* s1 = new S();
+    destroy(s1);         // destroys only the pointer `s1`, not what it references,
+    assert(s1 is null);  // and sets the pointer to `null`
+    assert(S.dtorCount == 0);
+
+    S* s2 = new S();
+    destroy(*s2);        // destroys the struct referenced by `s2`
+    assert(s2 !is null); // the pointer itself is not affected
+    assert(S.dtorCount == 1);
+}
+
 unittest
 {
    interface I { }