xref: /llvm-project/libcxx/test/std/utilities/tuple/tuple.tuple/tuple.cnstr/alloc_convert_move.verify.cpp (revision dc71a77d33620830020c939bba25ebdfdd1b6194)
1*dc71a77dSLouis Dionne //===----------------------------------------------------------------------===//
2*dc71a77dSLouis Dionne //
3*dc71a77dSLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*dc71a77dSLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5*dc71a77dSLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*dc71a77dSLouis Dionne //
7*dc71a77dSLouis Dionne //===----------------------------------------------------------------------===//
8*dc71a77dSLouis Dionne 
9*dc71a77dSLouis Dionne // <tuple>
10*dc71a77dSLouis Dionne 
11*dc71a77dSLouis Dionne // template <class... Types> class tuple;
12*dc71a77dSLouis Dionne 
13*dc71a77dSLouis Dionne // template <class Alloc, class ...UTypes>
14*dc71a77dSLouis Dionne //   tuple(allocator_arg_t, const Alloc& a, tuple<UTypes...>&&);
15*dc71a77dSLouis Dionne 
16*dc71a77dSLouis Dionne // UNSUPPORTED: c++03
17*dc71a77dSLouis Dionne 
18*dc71a77dSLouis Dionne #include <tuple>
19*dc71a77dSLouis Dionne #include <memory>
20*dc71a77dSLouis Dionne 
21*dc71a77dSLouis Dionne struct ExplicitCopy {
ExplicitCopyExplicitCopy22*dc71a77dSLouis Dionne   explicit ExplicitCopy(int) {}
ExplicitCopyExplicitCopy23*dc71a77dSLouis Dionne   explicit ExplicitCopy(ExplicitCopy const&) {}
24*dc71a77dSLouis Dionne };
25*dc71a77dSLouis Dionne 
explicit_move_test()26*dc71a77dSLouis Dionne std::tuple<ExplicitCopy> explicit_move_test() {
27*dc71a77dSLouis Dionne     std::tuple<int> t1(42);
28*dc71a77dSLouis Dionne     return {std::allocator_arg, std::allocator<int>{}, std::move(t1)};
29*dc71a77dSLouis Dionne     // expected-error@-1 {{chosen constructor is explicit in copy-initialization}}
30*dc71a77dSLouis Dionne }
31