From f70a5e7bdbf36599d523bc4866c1d12e477d9575 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Thu, 1 Jun 2017 01:01:49 +0300
Subject: [PATCH] Test mp_product with one list

---
 test/mp_product.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/test/mp_product.cpp b/test/mp_product.cpp
index 25ef40f..3d3d2ad 100644
--- a/test/mp_product.cpp
+++ b/test/mp_product.cpp
@@ -26,6 +26,8 @@ struct Z2 {};
 
 template<class T1, class T2, class T3> struct F {};
 
+template<class T> struct F1 {};
+
 int main()
 {
     using boost::mp11::mp_list;
@@ -51,5 +53,16 @@ int main()
         BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product_q<mp_quote<F>, L1, L2, L3>, std::tuple<>>));
     }
 
+    {
+        using L1 = std::tuple<X1, X2, X3>;
+        using L2 = mp_list<X1, X2, X3>;
+
+        BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product<F1, L1>, std::tuple<F1<X1>, F1<X2>, F1<X3>>>));
+        BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product_q<mp_quote<F1>, L1>, std::tuple<F1<X1>, F1<X2>, F1<X3>>>));
+
+        BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product<F1, L2>, mp_list<F1<X1>, F1<X2>, F1<X3>>>));
+        BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product_q<mp_quote<F1>, L2>, mp_list<F1<X1>, F1<X2>, F1<X3>>>));
+    }
+
     return boost::report_errors();
 }