1 // Copyright Louis Dionne 2013-2017 2 // Distributed under the Boost Software License, Version 1.0. 3 // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt) 4 5 #include <boost/hana/bool.hpp> 6 #include <boost/hana/fwd/hash.hpp> 7 #include <boost/hana/set.hpp> 8 #include <boost/hana/type.hpp> 9 10 #include <support/constexpr_move_only.hpp> 11 #include <support/tracked_move_only.hpp> 12 13 #include <utility> 14 namespace hana = boost::hana; 15 16 in_constexpr_context()17constexpr bool in_constexpr_context() { 18 auto t0 = hana::make_set(ConstexprMoveOnly<2>{}, ConstexprMoveOnly<3>{}); 19 auto t_implicit = std::move(t0); 20 auto t_explicit(std::move(t_implicit)); 21 22 (void)t_implicit; 23 (void)t_explicit; 24 return true; 25 } 26 27 static_assert(in_constexpr_context(), ""); 28 29 main()30int main() { 31 { 32 auto t0 = hana::make_set(); 33 auto t_implicit = std::move(t0); 34 auto t_explicit(std::move(t_implicit)); 35 36 (void)t_explicit; 37 (void)t_implicit; 38 } 39 { 40 auto t0 = hana::make_set(TrackedMoveOnly<1>{}); 41 auto t_implicit = std::move(t0); 42 auto t_explicit(std::move(t_implicit)); 43 44 (void)t_implicit; 45 (void)t_explicit; 46 } 47 { 48 auto t0 = hana::make_set(TrackedMoveOnly<1>{}, TrackedMoveOnly<2>{}); 49 auto t_implicit = std::move(t0); 50 auto t_explicit(std::move(t_implicit)); 51 52 (void)t_implicit; 53 (void)t_explicit; 54 } 55 { 56 auto t0 = hana::make_set(TrackedMoveOnly<1>{}, TrackedMoveOnly<2>{}, TrackedMoveOnly<3>{}); 57 auto t_implicit = std::move(t0); 58 auto t_explicit(std::move(t_implicit)); 59 60 (void)t_implicit; 61 (void)t_explicit; 62 } 63 } 64