xref: /llvm-project/libcxx/test/std/utilities/tuple/tuple.tuple/tuple.cnstr/alloc.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 // UNSUPPORTED: c++03
10*dc71a77dSLouis Dionne 
11*dc71a77dSLouis Dionne // <tuple>
12*dc71a77dSLouis Dionne 
13*dc71a77dSLouis Dionne // template <class... Types> class tuple;
14*dc71a77dSLouis Dionne 
15*dc71a77dSLouis Dionne // template <class Alloc>
16*dc71a77dSLouis Dionne //   explicit(see-below) tuple(allocator_arg_t, const Alloc& a);
17*dc71a77dSLouis Dionne 
18*dc71a77dSLouis Dionne // Make sure we get the explicit-ness of the constructor right.
19*dc71a77dSLouis Dionne // This is LWG 3158.
20*dc71a77dSLouis Dionne 
21*dc71a77dSLouis Dionne #include <tuple>
22*dc71a77dSLouis Dionne #include <memory>
23*dc71a77dSLouis Dionne 
24*dc71a77dSLouis Dionne 
ExplicitDefaultExplicitDefault25*dc71a77dSLouis Dionne struct ExplicitDefault { explicit ExplicitDefault() { } };
26*dc71a77dSLouis Dionne 
explicit_default_test()27*dc71a77dSLouis Dionne std::tuple<ExplicitDefault> explicit_default_test() {
28*dc71a77dSLouis Dionne     return {std::allocator_arg, std::allocator<int>()}; // expected-error {{chosen constructor is explicit in copy-initialization}}
29*dc71a77dSLouis Dionne }
30