From 7af5c3082094c5507a48f5957ef680d8448fbfc3 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Fri, 1 Feb 2019 06:33:41 +0100
Subject: [PATCH] move(): Give compiler an opportunity to optimize

Fix #75.
---
 source/tanya/algorithm/mutation.d | 15 +++++++++++----
 source/tanya/typecons.d           |  4 ++--
 2 files changed, 13 insertions(+), 6 deletions(-)

diff --git a/source/tanya/algorithm/mutation.d b/source/tanya/algorithm/mutation.d
index bd71f40..99b0eae 100644
--- a/source/tanya/algorithm/mutation.d
+++ b/source/tanya/algorithm/mutation.d
@@ -5,7 +5,7 @@
 /**
  * Algorithms that modify its arguments.
  *
- * Copyright: Eugene Wissner 2017-2018.
+ * Copyright: Eugene Wissner 2017-2019.
  * License: $(LINK2 https://www.mozilla.org/en-US/MPL/2.0/,
  *                  Mozilla Public License, v. 2.0).
  * Authors: $(LINK2 mailto:info@caraus.de, Eugene Wissner)
@@ -223,9 +223,16 @@ void move(T)(ref T source, ref T target)
 /// ditto
 T move(T)(ref T source) @trusted
 {
-    T target = void;
-    moveEmplace(source, target);
-    return target;
+    static if (hasElaborateCopyConstructor!T || hasElaborateDestructor!T)
+    {
+        T target = void;
+        moveEmplace(source, target);
+        return target;
+    }
+    else
+    {
+        return source;
+    }
 }
 
 ///
diff --git a/source/tanya/typecons.d b/source/tanya/typecons.d
index 516a34d..1407c62 100644
--- a/source/tanya/typecons.d
+++ b/source/tanya/typecons.d
@@ -660,7 +660,7 @@ if (isTypeTuple!Specs && NoDuplicates!Specs.length == Specs.length)
         }
 
         /**
-         * Tells whether this $(D_PSYMBOL Variant) was initialized.
+         * Tells whether this $(D_PSYMBOL Variant) is initialized.
          *
          * Returns: $(D_KEYWORD true) if this $(D_PSYMBOL Variant) contains a
          *          value, $(D_KEYWORD false) otherwise.
@@ -765,7 +765,7 @@ if (isTypeTuple!Specs && NoDuplicates!Specs.length == Specs.length)
         /**
          * Returns $(D_PSYMBOL TypeInfo) corresponding to the current type.
          *
-         * If this $(D_PSYMBOL Variant) isn't initialized, return
+         * If this $(D_PSYMBOL Variant) isn't initialized, returns
          * $(D_KEYWORD null).
          *
          * Returns: $(D_PSYMBOL TypeInfo) of the current type.