1 files changed, 46 insertions, 0 deletions
diff --git a/src/boost/libs/yap/test/compile_move_only_types.cpp b/src/boost/libs/yap/test/compile_move_only_types.cpp
new file mode 100644
index 000000000..2649ff00e
--- /dev/null
+++ b/src/boost/libs/yap/test/compile_move_only_types.cpp
@@ -0,0 +1,46 @@
+// Copyright (C) 2016-2018 T. Zachary Laine
+//
+// Distributed under the Boost Software License, Version 1.0. (See
+// accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+#include <boost/yap/expression.hpp>
+
+#include <memory>
+
+
+template<typename T>
+using term = boost::yap::terminal<boost::yap::expression, T>;
+
+template<typename T>
+using ref = boost::yap::expression_ref<boost::yap::expression, T>;
+
+namespace yap = boost::yap;
+namespace bh = boost::hana;
+
+
+inline auto double_to_float(term<double> expr)
+{
+    return term<float>{(float)expr.value()};
+}
+
+void compile_move_only_types()
+{
+    term<double> unity{1.0};
+    term<std::unique_ptr<int>> i{new int{7}};
+    yap::expression<
+        yap::expr_kind::plus,
+        bh::tuple<ref<term<double> &>, term<std::unique_ptr<int>>>>
+        expr_1 = unity + std::move(i);
+
+    yap::expression<
+        yap::expr_kind::plus,
+        bh::tuple<
+            ref<term<double> &>,
+            yap::expression<
+                yap::expr_kind::plus,
+                bh::tuple<ref<term<double> &>, term<std::unique_ptr<int>>>>>>
+        expr_2 = unity + std::move(expr_1);
+
+    auto transformed_expr = transform(std::move(expr_2), double_to_float);
+    (void)transformed_expr;
+}