]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/is_constructible/value-2.cc
1 // { dg-options "-std=gnu++0x" }
4 // Copyright (C) 2011 Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
21 #include <type_traits>
22 #include <initializer_list>
23 #include <testsuite_tr1.h>
25 using namespace __gnu_test::construct_destruct
;
27 static_assert(std::is_constructible
<int, int>::value
, "Error");
28 static_assert(std::is_constructible
<std::nullptr_t
, std::nullptr_t
>::value
,
30 static_assert(std::is_constructible
<E
, E
>::value
, "Error");
31 static_assert(std::is_constructible
<SE
, SE
>::value
, "Error");
32 static_assert(std::is_constructible
<OpE
, OpE
>::value
, "Error");
33 static_assert(std::is_constructible
<OpSE
, OpSE
>::value
, "Error");
34 static_assert(std::is_constructible
<Empty
, Empty
>::value
, "Error");
35 static_assert(std::is_constructible
<B
, B
>::value
, "Error");
36 static_assert(std::is_constructible
<U
, U
>::value
, "Error");
37 static_assert(std::is_constructible
<int B::*, int B::*>::value
, "Error");
38 static_assert(std::is_constructible
<Ellipsis
, Ellipsis
>::value
, "Error");
39 static_assert(std::is_constructible
<int*, int*>::value
, "Error");
40 static_assert(std::is_constructible
<void*, void*>::value
, "Error");
41 static_assert(std::is_constructible
<Any
, Any
>::value
, "Error");
42 static_assert(std::is_constructible
<nAny
, nAny
>::value
, "Error");
43 static_assert(std::is_constructible
<std::initializer_list
<int>,
44 std::initializer_list
<int>>::value
, "Error");
45 static_assert(std::is_constructible
<DelDef
, DelDef
>::value
, "Error");
47 static_assert(!std::is_constructible
<void, void>::value
, "Error");
48 static_assert(!std::is_constructible
<Abstract
, Abstract
>::value
, "Error");
49 static_assert(!std::is_constructible
<int[], int[]>::value
, "Error");
50 static_assert(!std::is_constructible
<int[1], int[1]>::value
, "Error");
51 static_assert(!std::is_constructible
<DelCopy
, const DelCopy
&>::value
, "Error");
52 static_assert(!std::is_constructible
<DelCopy
, DelCopy
&&>::value
, "Error");
53 static_assert(!std::is_constructible
<DelCopy
, DelCopy
>::value
, "Error");
54 static_assert(!std::is_constructible
<DelDtor
, void>::value
, "Error");
55 static_assert(!std::is_constructible
<DelDtor
, int>::value
, "Error");
56 static_assert(!std::is_constructible
<DelDtor
, DelDtor
>::value
, "Error");
57 static_assert(!std::is_constructible
<DelDtor
, DelDtor
&&>::value
, "Error");
58 static_assert(!std::is_constructible
<DelDtor
, const DelDtor
&>::value
, "Error");
60 static_assert(std::is_constructible
<DelEllipsis
, const DelEllipsis
&>::value
,
62 static_assert(std::is_constructible
<DelEllipsis
, DelEllipsis
&&>::value
,
64 static_assert(std::is_constructible
<DelEllipsis
, DelEllipsis
>::value
, "Error");
65 static_assert(!std::is_constructible
<DelEllipsis
, void>::value
, "Error");
66 static_assert(!std::is_constructible
<DelEllipsis
, std::nullptr_t
>::value
,
68 static_assert(!std::is_constructible
<DelEllipsis
, B
>::value
, "Error");
69 static_assert(!std::is_constructible
<DelEllipsis
, Empty
>::value
, "Error");
70 static_assert(!std::is_constructible
<DelEllipsis
, E
>::value
, "Error");
71 static_assert(!std::is_constructible
<DelEllipsis
, SE
>::value
, "Error");
72 static_assert(!std::is_constructible
<DelEllipsis
, OpE
>::value
, "Error");
73 static_assert(!std::is_constructible
<DelEllipsis
, OpSE
>::value
, "Error");
74 static_assert(!std::is_constructible
<DelEllipsis
, void()>::value
, "Error");
75 static_assert(!std::is_constructible
<DelEllipsis
, void() const>::value
,
77 static_assert(!std::is_constructible
<DelEllipsis
, int[1]>::value
, "Error");
78 static_assert(!std::is_constructible
<DelEllipsis
, int[]>::value
, "Error");
79 static_assert(!std::is_constructible
<DelEllipsis
, int*>::value
, "Error");
80 static_assert(!std::is_constructible
<DelEllipsis
, void*>::value
, "Error");
81 static_assert(!std::is_constructible
<DelEllipsis
, int B::*>::value
, "Error");
82 static_assert(!std::is_constructible
<DelEllipsis
, int D::*>::value
, "Error");
83 static_assert(!std::is_constructible
<DelEllipsis
, Abstract
>::value
, "Error");
84 static_assert(!std::is_constructible
<int, DelImplicitTo
<int>>::value
, "Error");
85 static_assert(!std::is_constructible
<std::nullptr_t
,
86 DelImplicitTo
<std::nullptr_t
>>::value
, "Error");
87 static_assert(!std::is_constructible
<int&,
88 DelImplicitTo
<const int&>>::value
, "Error");
90 static_assert(!std::is_constructible
<int, void>::value
, "Error");
91 static_assert(!std::is_constructible
<void, int>::value
, "Error");
92 static_assert(std::is_constructible
<void*, int*>::value
, "Error");
93 static_assert(!std::is_constructible
<int*, void*>::value
, "Error");
94 static_assert(std::is_constructible
<int*, std::nullptr_t
>::value
, "Error");
95 static_assert(!std::is_constructible
<std::nullptr_t
, int*>::value
, "Error");
96 static_assert(!std::is_constructible
<Empty
, E
>::value
, "Error");
97 static_assert(!std::is_constructible
<Empty
, SE
>::value
, "Error");
98 static_assert(!std::is_constructible
<Empty
, OpE
>::value
, "Error");
99 static_assert(!std::is_constructible
<Empty
, OpSE
>::value
, "Error");
100 static_assert(!std::is_constructible
<Empty
, void>::value
, "Error");
101 static_assert(!std::is_constructible
<Empty
, void*>::value
, "Error");
102 static_assert(!std::is_constructible
<Empty
, std::nullptr_t
>::value
, "Error");
103 static_assert(!std::is_constructible
<Empty
, int[]>::value
, "Error");
104 static_assert(!std::is_constructible
<Empty
, int[3]>::value
, "Error");
105 static_assert(!std::is_constructible
<Empty
, int>::value
, "Error");
106 static_assert(!std::is_constructible
<Abstract
, int>::value
, "Error");
107 static_assert(!std::is_constructible
<Abstract
, std::nullptr_t
>::value
, "Error");
108 static_assert(!std::is_constructible
<std::nullptr_t
, Abstract
>::value
, "Error");
109 static_assert(!std::is_constructible
<Abstract
, int[]>::value
, "Error");
110 static_assert(std::is_constructible
<B
, D
>::value
, "Error");
111 static_assert(!std::is_constructible
<D
, B
>::value
, "Error");
112 static_assert(!std::is_constructible
<int[], int[1]>::value
, "Error");
113 static_assert(!std::is_constructible
<int[1], int[]>::value
, "Error");
114 static_assert(!std::is_constructible
<int[], Empty
>::value
, "Error");
115 static_assert(!std::is_constructible
<int[], std::nullptr_t
>::value
, "Error");
116 static_assert(!std::is_constructible
<int[1], Abstract
>::value
, "Error");
118 static_assert(std::is_constructible
<const int*, int*>::value
, "Error");
119 static_assert(std::is_constructible
<const void*, void*>::value
, "Error");
120 static_assert(std::is_constructible
<const void*, int*>::value
, "Error");
121 static_assert(!std::is_constructible
<int*, const void*>::value
, "Error");
123 static_assert(std::is_constructible
<int, E
>::value
, "Error");
124 static_assert(!std::is_constructible
<E
, int>::value
, "Error");
125 static_assert(!std::is_constructible
<E
, E2
>::value
, "Error");
126 static_assert(std::is_constructible
<E
, E
>::value
, "Error");
127 static_assert(std::is_constructible
<bool, E
>::value
, "Error");
128 static_assert(!std::is_constructible
<E
, bool>::value
, "Error");
129 static_assert(std::is_constructible
<double, E
>::value
, "Error");
130 static_assert(!std::is_constructible
<E
, double>::value
, "Error");
131 static_assert(!std::is_constructible
<std::nullptr_t
, E
>::value
, "Error");
132 static_assert(!std::is_constructible
<E
, std::nullptr_t
>::value
, "Error");
134 static_assert(std::is_constructible
<int, OpE
>::value
, "Error");
135 static_assert(!std::is_constructible
<OpE
, int>::value
, "Error");
136 static_assert(!std::is_constructible
<OpE
, E2
>::value
, "Error");
137 static_assert(std::is_constructible
<OpE
, OpE
>::value
, "Error");
138 static_assert(std::is_constructible
<bool, OpE
>::value
, "Error");
139 static_assert(!std::is_constructible
<OpE
, bool>::value
, "Error");
140 static_assert(std::is_constructible
<double, OpE
>::value
, "Error");
141 static_assert(!std::is_constructible
<OpE
, double>::value
, "Error");
142 static_assert(!std::is_constructible
<std::nullptr_t
, OpE
>::value
, "Error");
143 static_assert(!std::is_constructible
<OpE
, std::nullptr_t
>::value
, "Error");
145 static_assert(!std::is_constructible
<int, SE
>::value
, "Error");
146 static_assert(!std::is_constructible
<SE
, int>::value
, "Error");
147 static_assert(!std::is_constructible
<E
, SE
>::value
, "Error");
148 static_assert(!std::is_constructible
<SE
, SE2
>::value
, "Error");
149 static_assert(std::is_constructible
<SE
, SE
>::value
, "Error");
150 static_assert(!std::is_constructible
<bool, SE
>::value
, "Error");
151 static_assert(!std::is_constructible
<SE
, bool>::value
, "Error");
152 static_assert(!std::is_constructible
<double, SE
>::value
, "Error");
153 static_assert(!std::is_constructible
<SE
, double>::value
, "Error");
154 static_assert(!std::is_constructible
<std::nullptr_t
, SE
>::value
, "Error");
155 static_assert(!std::is_constructible
<SE
, std::nullptr_t
>::value
, "Error");
157 static_assert(!std::is_constructible
<int, OpSE
>::value
, "Error");
158 static_assert(!std::is_constructible
<OpSE
, int>::value
, "Error");
159 static_assert(!std::is_constructible
<OpE
, OpSE
>::value
, "Error");
160 static_assert(!std::is_constructible
<OpSE
, SE2
>::value
, "Error");
161 static_assert(std::is_constructible
<OpSE
, OpSE
>::value
, "Error");
162 static_assert(!std::is_constructible
<bool, OpSE
>::value
, "Error");
163 static_assert(!std::is_constructible
<OpSE
, bool>::value
, "Error");
164 static_assert(!std::is_constructible
<double, OpSE
>::value
, "Error");
165 static_assert(!std::is_constructible
<OpSE
, double>::value
, "Error");
166 static_assert(!std::is_constructible
<std::nullptr_t
, OpSE
>::value
, "Error");
167 static_assert(!std::is_constructible
<OpSE
, std::nullptr_t
>::value
, "Error");
169 static_assert(!std::is_constructible
<D
*, B
*>::value
, "Error");
170 static_assert(!std::is_constructible
<const volatile D
*, B
*>::value
, "Error");
171 static_assert(!std::is_constructible
<D
*, const volatile B
*>::value
, "Error");
173 static_assert(!std::is_constructible
<D
*, B
* const>::value
, "Error");
174 static_assert(!std::is_constructible
<const volatile D
*, B
* const>::value
,
176 static_assert(!std::is_constructible
<D
*, const volatile B
* const>::value
,
179 static_assert(!std::is_constructible
<D
*, B
*&>::value
, "Error");
180 static_assert(!std::is_constructible
<const volatile D
*, B
*&>::value
, "Error");
181 static_assert(!std::is_constructible
<D
*, const volatile B
*&>::value
, "Error");
183 static_assert(!std::is_constructible
<int B::*, int D::*>::value
, "Error");
184 static_assert(!std::is_constructible
<const volatile int B::*, int D::*>::value
,
186 static_assert(!std::is_constructible
<int B::*, const volatile int D::*>::value
,
189 static_assert(!std::is_constructible
<int B::*, int D::* const>::value
, "Error");
190 static_assert(!std::is_constructible
<const volatile int B::*,
191 int D::* const>::value
, "Error");
192 static_assert(!std::is_constructible
<int B::*,
193 const volatile int D::* const>::value
, "Error");
195 static_assert(!std::is_constructible
<int B::*, int D::*&>::value
, "Error");
196 static_assert(!std::is_constructible
<const volatile int B::*,
197 int D::*&>::value
, "Error");
198 static_assert(!std::is_constructible
<int B::*,
199 const volatile int D::*&>::value
, "Error");
201 static_assert(!std::is_constructible
<int B::*, int D::* const &>::value
,
203 static_assert(!std::is_constructible
<const volatile int B::*,
204 int D::* const &>::value
, "Error");
205 static_assert(!std::is_constructible
<int B::*,
206 const volatile int D::* const &>::value
, "Error");
208 static_assert(!std::is_constructible
<int&&, int&>::value
, "Error");
209 static_assert(!std::is_constructible
<const int&&, int&>::value
, "Error");
211 static_assert(std::is_constructible
<B
&, D
&>::value
, "Error");
212 static_assert(std::is_constructible
<B
&&, D
&&>::value
, "Error");
213 static_assert(std::is_constructible
<const B
&, D
&>::value
, "Error");
214 static_assert(std::is_constructible
<const B
&&, D
&&>::value
, "Error");
215 static_assert(!std::is_constructible
<B
&, const D
&>::value
, "Error");
216 static_assert(!std::is_constructible
<B
&&, const D
&&>::value
, "Error");
218 static_assert(!std::is_constructible
<D
&, B
&>::value
, "Error");
219 static_assert(!std::is_constructible
<D
&&, B
&&>::value
, "Error");
220 static_assert(!std::is_constructible
<D
&, const B
&>::value
, "Error");
221 static_assert(!std::is_constructible
<D
&&, const B
&&>::value
, "Error");
222 static_assert(!std::is_constructible
<const D
&, B
&>::value
, "Error");
223 static_assert(!std::is_constructible
<const D
&&, B
&&>::value
, "Error");
225 static_assert(!std::is_constructible
<B
&&, B
&>::value
, "Error");
226 static_assert(!std::is_constructible
<B
&&, D
&>::value
, "Error");
227 static_assert(std::is_constructible
<B
&&, ImplicitTo
<D
&&>>::value
, "Error");
228 static_assert(std::is_constructible
<B
&&, ImplicitTo
<D
&&>&>::value
, "Error");
229 static_assert(std::is_constructible
<int&&, double&>::value
, "Error");
230 static_assert(std::is_constructible
<const int&,
231 ImplicitTo
<int&>&>::value
, "Error");
232 static_assert(std::is_constructible
<const int&,
233 ImplicitTo
<int&>>::value
, "Error");
234 static_assert(std::is_constructible
<const int&,
235 ExplicitTo
<int&>&>::value
, "Error");
236 static_assert(std::is_constructible
<const int&,
237 ExplicitTo
<int&>>::value
, "Error");
239 static_assert(std::is_constructible
<B
&&, ExplicitTo
<D
&&>>::value
, "Error");
240 static_assert(std::is_constructible
<B
&&, ExplicitTo
<D
&&>&>::value
, "Error");
242 static_assert(!std::is_constructible
<B
&, B
&&>::value
, "Error");
243 static_assert(!std::is_constructible
<D
&, B
&&>::value
, "Error");
244 static_assert(!std::is_constructible
<B
&, D
&&>::value
, "Error");
246 static_assert(std::is_constructible
<void(&)(), void(&)()>::value
, "Error");
247 static_assert(std::is_constructible
<void(&&)(), void(&&)()>::value
, "Error");
248 static_assert(std::is_constructible
<void(&&)(), void()>::value
, "Error");
250 static_assert(!std::is_constructible
<void>::value
, "Error" );
251 static_assert(!std::is_constructible
<void, int>::value
, "Error" );
252 static_assert(!std::is_constructible
<void, int, double>::value
, "Error" );
254 static_assert(!std::is_constructible
<int&>::value
, "Error" );
255 static_assert(!std::is_constructible
<const int&>::value
, "Error" );
256 static_assert(!std::is_constructible
<int&, int, int>::value
, "Error" );
257 static_assert(!std::is_constructible
<const int&, int, int>::value
, "Error" );
259 static_assert(std::is_constructible
<void(&)(), void()>::value
, "Error");
260 static_assert(std::is_constructible
<void(&)(), void(&&)()>::value
, "Error");
262 static_assert(std::is_constructible
<int&, int&>::value
, "Error");
263 static_assert(!std::is_constructible
<int&, const int&>::value
, "Error");
264 static_assert(!std::is_constructible
<int&, int>::value
, "Error");
265 static_assert(!std::is_constructible
<int&, int&&>::value
, "Error");
266 static_assert(!std::is_constructible
<int&, const int&&>::value
, "Error");
267 static_assert(std::is_constructible
<const int&, int&>::value
, "Error");
268 static_assert(std::is_constructible
<const int&, int>::value
, "Error");
269 static_assert(std::is_constructible
<const int&, const int>::value
, "Error");
270 static_assert(std::is_constructible
<const int&, int&&>::value
, "Error");
271 static_assert(std::is_constructible
<const int&, const int&&>::value
, "Error");
272 static_assert(std::is_constructible
<volatile int&, int&>::value
, "Error");
273 static_assert(!std::is_constructible
<volatile int&, const int&>::value
,
275 static_assert(!std::is_constructible
<volatile int&, int>::value
, "Error");
276 static_assert(!std::is_constructible
<volatile int&, int&&>::value
, "Error");
277 static_assert(!std::is_constructible
<volatile int&, const int&&>::value
,
279 static_assert(std::is_constructible
<const volatile int&, int&>::value
, "Error");
280 static_assert(!std::is_constructible
<const volatile int&, int>::value
, "Error");
281 static_assert(!std::is_constructible
<const volatile int&, const int>::value
,
283 static_assert(!std::is_constructible
<const volatile int&, int&&>::value
,
285 static_assert(!std::is_constructible
<const volatile int&, const int&&>::value
,
288 static_assert(std::is_constructible
<int&&, int>::value
, "Error");
289 static_assert(std::is_constructible
<int&&, int&&>::value
, "Error");
290 static_assert(!std::is_constructible
<int&&, const int&&>::value
, "Error");
291 static_assert(!std::is_constructible
<int&&, int&>::value
, "Error");
292 static_assert(!std::is_constructible
<int&&, const int&>::value
, "Error");
293 static_assert(std::is_constructible
<int&&, double&>::value
, "Error");
294 static_assert(std::is_constructible
<const int&&, int>::value
, "Error");
295 static_assert(std::is_constructible
<const int&&, int&&>::value
, "Error");
296 static_assert(std::is_constructible
<const int&&, const int>::value
, "Error");
297 static_assert(std::is_constructible
<const int&&, const int&&>::value
, "Error");
298 static_assert(!std::is_constructible
<int&&, const int&>::value
, "Error");
299 static_assert(!std::is_constructible
<const int&&, int&>::value
, "Error");
300 static_assert(!std::is_constructible
<const int&&, const int&>::value
, "Error");
301 static_assert(std::is_constructible
<volatile int&&, int>::value
, "Error");
302 static_assert(std::is_constructible
<volatile int&&, int&&>::value
, "Error");
303 static_assert(!std::is_constructible
<volatile int&&, const int&&>::value
,
305 static_assert(!std::is_constructible
<volatile int&&, int&>::value
, "Error");
306 static_assert(!std::is_constructible
<volatile int&&, const int&>::value
,
308 static_assert(std::is_constructible
<volatile int&&, double&>::value
, "Error");
309 static_assert(std::is_constructible
<volatile const int&&, int>::value
, "Error");
310 static_assert(std::is_constructible
<const volatile int&&, int&&>::value
,
312 static_assert(std::is_constructible
<const volatile int&&, const int>::value
,
314 static_assert(std::is_constructible
<const volatile int&&, const int&&>::value
,
316 static_assert(!std::is_constructible
<volatile int&&, const int&>::value
,
318 static_assert(!std::is_constructible
<const volatile int&&, int&>::value
,
320 static_assert(!std::is_constructible
<const volatile int&&,
321 const int&>::value
, "Error");
323 static_assert(std::is_constructible
<Empty
&, Empty
&>::value
, "Error");
324 static_assert(!std::is_constructible
<Empty
&, const Empty
&>::value
, "Error");
325 static_assert(!std::is_constructible
<Empty
&, Empty
>::value
, "Error");
326 static_assert(!std::is_constructible
<Empty
&, Empty
&&>::value
, "Error");
327 static_assert(!std::is_constructible
<Empty
&, const Empty
&&>::value
, "Error");
328 static_assert(std::is_constructible
<const Empty
&, Empty
&>::value
, "Error");
329 static_assert(std::is_constructible
<const Empty
&, Empty
>::value
, "Error");
330 static_assert(std::is_constructible
<const Empty
&, const Empty
>::value
, "Error");
331 static_assert(std::is_constructible
<const Empty
&, Empty
&&>::value
, "Error");
332 static_assert(std::is_constructible
<const Empty
&, const Empty
&&>::value
,
334 static_assert(std::is_constructible
<volatile Empty
&, Empty
&>::value
, "Error");
335 static_assert(!std::is_constructible
<volatile Empty
&, const Empty
&>::value
,
337 static_assert(!std::is_constructible
<volatile Empty
&, Empty
>::value
, "Error");
338 static_assert(!std::is_constructible
<volatile Empty
&, Empty
&&>::value
, "Error");
339 static_assert(!std::is_constructible
<volatile Empty
&, const Empty
&&>::value
,
341 static_assert(std::is_constructible
<const volatile Empty
&, Empty
&>::value
,
343 static_assert(!std::is_constructible
<const volatile Empty
&, Empty
>::value
,
345 static_assert(!std::is_constructible
<const volatile Empty
&,
346 const Empty
>::value
, "Error");
347 static_assert(!std::is_constructible
<const volatile Empty
&,
348 Empty
&&>::value
, "Error");
349 static_assert(!std::is_constructible
<const volatile Empty
&,
350 const Empty
&&>::value
, "Error");
352 static_assert(std::is_constructible
<Empty
&&, Empty
>::value
, "Error");
353 static_assert(std::is_constructible
<Empty
&&, Empty
&&>::value
, "Error");
354 static_assert(!std::is_constructible
<Empty
&&, const Empty
&&>::value
, "Error");
355 static_assert(!std::is_constructible
<Empty
&&, Empty
&>::value
, "Error");
356 static_assert(!std::is_constructible
<Empty
&&, const Empty
&>::value
, "Error");
357 static_assert(!std::is_constructible
<Empty
&&, double&>::value
, "Error");
358 static_assert(!std::is_constructible
<Empty
&&, const double&>::value
, "Error");
359 static_assert(std::is_constructible
<const Empty
&&, Empty
>::value
, "Error");
360 static_assert(std::is_constructible
<const Empty
&&, Empty
&&>::value
, "Error");
361 static_assert(std::is_constructible
<const Empty
&&, const Empty
>::value
,
363 static_assert(std::is_constructible
<const Empty
&&, const Empty
&&>::value
,
365 static_assert(!std::is_constructible
<Empty
&&, const Empty
&>::value
, "Error");
366 static_assert(!std::is_constructible
<const Empty
&&, Empty
&>::value
, "Error");
367 static_assert(!std::is_constructible
<const Empty
&&, const Empty
&>::value
,
369 static_assert(std::is_constructible
<volatile Empty
&&, Empty
>::value
, "Error");
370 static_assert(std::is_constructible
<volatile Empty
&&, Empty
&&>::value
, "Error");
371 static_assert(!std::is_constructible
<volatile Empty
&&, const Empty
&&>::value
,
373 static_assert(!std::is_constructible
<volatile Empty
&&, Empty
&>::value
, "Error");
374 static_assert(!std::is_constructible
<volatile Empty
&&, const Empty
&>::value
,
376 static_assert(!std::is_constructible
<volatile Empty
&&, double&>::value
,
378 static_assert(!std::is_constructible
<volatile Empty
&&, const double&>::value
,
380 static_assert(std::is_constructible
<const volatile Empty
&&, Empty
>::value
,
382 static_assert(std::is_constructible
<const volatile Empty
&&, Empty
&&>::value
,
384 static_assert(std::is_constructible
<const volatile Empty
&&,
385 const Empty
>::value
, "Error");
386 static_assert(std::is_constructible
<const volatile Empty
&&,
387 const Empty
&&>::value
, "Error");
388 static_assert(!std::is_constructible
<volatile Empty
&&,
389 const Empty
&>::value
, "Error");
390 static_assert(!std::is_constructible
<const volatile Empty
&&,
391 Empty
&>::value
, "Error");
392 static_assert(!std::is_constructible
<const volatile Empty
&&,
393 const Empty
&>::value
, "Error");
395 static_assert(std::is_constructible
<Ellipsis
, int>::value
, "Error");
396 static_assert(std::is_constructible
<Ellipsis
, Empty
>::value
, "Error");
397 static_assert(std::is_constructible
<Ellipsis
, std::nullptr_t
>::value
, "Error");
398 static_assert(std::is_constructible
<Ellipsis
, int[]>::value
, "Error");
399 static_assert(std::is_constructible
<Ellipsis
, int[1]>::value
, "Error");
400 static_assert(!std::is_constructible
<Ellipsis
, void>::value
, "Error");
402 static_assert(std::is_constructible
<int(&)[1], int(&)[1]>::value
, "Error");
403 static_assert(std::is_constructible
<const int(&)[1],
404 int(&)[1]>::value
, "Error");
405 static_assert(std::is_constructible
<volatile int(&)[1],
406 int(&)[1]>::value
, "Error");
407 static_assert(std::is_constructible
<const volatile int(&)[1],
408 int(&)[1]>::value
, "Error");
409 static_assert(!std::is_constructible
<int(&)[1],
410 const int(&)[1]>::value
, "Error");
411 static_assert(!std::is_constructible
<const int(&)[1],
412 volatile int(&)[1]>::value
, "Error");
414 static_assert(std::is_constructible
<int(&)[], int(&)[]>::value
, "Error");
416 static_assert(!std::is_constructible
<int(&)[1], int(&)[2]>::value
, "Error");
417 static_assert(!std::is_constructible
<int(&)[1], int&>::value
, "Error");
418 static_assert(!std::is_constructible
<int&, int(&)[1]>::value
, "Error");
420 static_assert(!std::is_constructible
<U
, int>::value
, "Error");
421 static_assert(!std::is_constructible
<U
, Empty
>::value
, "Error");
423 static_assert(!std::is_constructible
<void(), void()>::value
, "Error");
424 static_assert(!std::is_constructible
<void(), int>::value
, "Error");
425 static_assert(!std::is_constructible
<void(), Abstract
>::value
, "Error");
426 static_assert(!std::is_constructible
<void(), std::nullptr_t
>::value
, "Error");
427 static_assert(!std::is_constructible
<void(), Empty
>::value
, "Error");
428 static_assert(!std::is_constructible
<void(), U
>::value
, "Error");
429 static_assert(!std::is_constructible
<void(), E
>::value
, "Error");
430 static_assert(!std::is_constructible
<void(), SE
>::value
, "Error");
431 static_assert(!std::is_constructible
<void(), OpE
>::value
, "Error");
432 static_assert(!std::is_constructible
<void(), OpSE
>::value
, "Error");
433 static_assert(!std::is_constructible
<void(), int[]>::value
, "Error");
434 static_assert(!std::is_constructible
<void(), int[1]>::value
, "Error");
436 static_assert(!std::is_constructible
<void() const,
437 void() volatile>::value
, "Error");
438 static_assert(!std::is_constructible
<void() const, int>::value
, "Error");
439 static_assert(!std::is_constructible
<void() const, Abstract
>::value
, "Error");
440 static_assert(!std::is_constructible
<void() const, std::nullptr_t
>::value
,
442 static_assert(!std::is_constructible
<void() const, Empty
>::value
, "Error");
443 static_assert(!std::is_constructible
<void() const, U
>::value
, "Error");
444 static_assert(!std::is_constructible
<void() const, E
>::value
, "Error");
445 static_assert(!std::is_constructible
<void() const, SE
>::value
, "Error");
446 static_assert(!std::is_constructible
<void() const, OpE
>::value
, "Error");
447 static_assert(!std::is_constructible
<void() const, OpSE
>::value
, "Error");
448 static_assert(!std::is_constructible
<void() const, int[]>::value
, "Error");
449 static_assert(!std::is_constructible
<void() const, int[1]>::value
, "Error");
451 static_assert(!std::is_constructible
<void(int), void()>::value
, "Error");
452 static_assert(!std::is_constructible
<int, void()>::value
, "Error");
453 static_assert(!std::is_constructible
<Abstract
, void()>::value
, "Error");
454 static_assert(!std::is_constructible
<std::nullptr_t
, void()>::value
, "Error");
455 static_assert(!std::is_constructible
<Empty
, void()>::value
, "Error");
456 static_assert(!std::is_constructible
<U
, void()>::value
, "Error");
457 static_assert(!std::is_constructible
<E
, void()>::value
, "Error");
458 static_assert(!std::is_constructible
<SE
, void()>::value
, "Error");
459 static_assert(!std::is_constructible
<OpE
, void()>::value
, "Error");
460 static_assert(!std::is_constructible
<OpSE
, void()>::value
, "Error");
461 static_assert(!std::is_constructible
<int[], void()>::value
, "Error");
462 static_assert(!std::is_constructible
<int[1], void()>::value
, "Error");
464 static_assert(!std::is_constructible
<void(int) const,
465 void() const>::value
, "Error");
466 static_assert(!std::is_constructible
<int, void() const>::value
, "Error");
467 static_assert(!std::is_constructible
<Abstract
, void() const>::value
, "Error");
468 static_assert(!std::is_constructible
<std::nullptr_t
, void() const>::value
,
470 static_assert(!std::is_constructible
<Empty
, void() const>::value
, "Error");
471 static_assert(!std::is_constructible
<U
, void() const>::value
, "Error");
472 static_assert(!std::is_constructible
<E
, void() const>::value
, "Error");
473 static_assert(!std::is_constructible
<SE
, void() const>::value
, "Error");
474 static_assert(!std::is_constructible
<OpE
, void() const>::value
, "Error");
475 static_assert(!std::is_constructible
<OpSE
, void() const>::value
, "Error");
476 static_assert(!std::is_constructible
<int[], void() const>::value
, "Error");
477 static_assert(!std::is_constructible
<int[1], void() const>::value
, "Error");
479 static_assert(!std::is_constructible
<void, int, int>::value
, "Error");
480 static_assert(!std::is_constructible
<void, Empty
, B
>::value
, "Error");
481 static_assert(!std::is_constructible
<void, Empty
, Empty
>::value
, "Error");
482 static_assert(!std::is_constructible
<void, U
, Empty
>::value
, "Error");
483 static_assert(!std::is_constructible
<void, U
, U
>::value
, "Error");
484 static_assert(!std::is_constructible
<void, std::nullptr_t
,
485 std::nullptr_t
>::value
, "Error");
486 static_assert(!std::is_constructible
<void, int[1], int[1]>::value
, "Error");
487 static_assert(!std::is_constructible
<void, int[], int[]>::value
, "Error");
488 static_assert(!std::is_constructible
<void, void, int>::value
, "Error");
489 static_assert(!std::is_constructible
<void, void, void>::value
, "Error");
490 static_assert(!std::is_constructible
<void, void(), void()>::value
, "Error");
491 static_assert(!std::is_constructible
<void, void() const,
492 void() volatile>::value
, "Error");
494 static_assert(!std::is_constructible
<int, int, int>::value
, "Error");
495 static_assert(!std::is_constructible
<const int, int, int>::value
, "Error");
496 static_assert(!std::is_constructible
<int, void, int>::value
, "Error");
497 static_assert(!std::is_constructible
<const int, void, int>::value
, "Error");
498 static_assert(!std::is_constructible
<int, void, void>::value
, "Error");
499 static_assert(!std::is_constructible
<const int, void, void>::value
, "Error");
500 static_assert(!std::is_constructible
<bool, int, int>::value
, "Error");
501 static_assert(!std::is_constructible
<const bool, int, int>::value
, "Error");
502 static_assert(!std::is_constructible
<std::nullptr_t
, int, int>::value
, "Error");
503 static_assert(!std::is_constructible
<const std::nullptr_t
, int, int>::value
,
505 static_assert(!std::is_constructible
<std::nullptr_t
, void, int>::value
,
507 static_assert(!std::is_constructible
<const std::nullptr_t
, void, int>::value
,
509 static_assert(!std::is_constructible
<std::nullptr_t
, void, void>::value
,
511 static_assert(!std::is_constructible
<const std::nullptr_t
, void, void>::value
,
513 static_assert(!std::is_constructible
<E
, int, int>::value
, "Error");
514 static_assert(!std::is_constructible
<const E
, int, int>::value
, "Error");
515 static_assert(!std::is_constructible
<E
, void, int>::value
, "Error");
516 static_assert(!std::is_constructible
<const E
, void, int>::value
, "Error");
517 static_assert(!std::is_constructible
<E
, void, void>::value
, "Error");
518 static_assert(!std::is_constructible
<const E
, void, void>::value
, "Error");
519 static_assert(!std::is_constructible
<SE
, int, int>::value
, "Error");
520 static_assert(!std::is_constructible
<const SE
, int, int>::value
, "Error");
521 static_assert(!std::is_constructible
<SE
, void, int>::value
, "Error");
522 static_assert(!std::is_constructible
<const SE
, void, int>::value
, "Error");
523 static_assert(!std::is_constructible
<SE
, void, void>::value
, "Error");
524 static_assert(!std::is_constructible
<const SE
, void, void>::value
, "Error");
525 static_assert(!std::is_constructible
<OpE
, int, int>::value
, "Error");
526 static_assert(!std::is_constructible
<const OpE
, int, int>::value
, "Error");
527 static_assert(!std::is_constructible
<OpE
, void, int>::value
, "Error");
528 static_assert(!std::is_constructible
<const OpE
, void, int>::value
, "Error");
529 static_assert(!std::is_constructible
<OpE
, void, void>::value
, "Error");
530 static_assert(!std::is_constructible
<const OpE
, void, void>::value
, "Error");
531 static_assert(!std::is_constructible
<OpSE
, int, int>::value
, "Error");
532 static_assert(!std::is_constructible
<const OpSE
, int, int>::value
, "Error");
533 static_assert(!std::is_constructible
<OpSE
, void, int>::value
, "Error");
534 static_assert(!std::is_constructible
<const OpSE
, void, int>::value
, "Error");
535 static_assert(!std::is_constructible
<OpSE
, void, void>::value
, "Error");
536 static_assert(!std::is_constructible
<const OpSE
, void, void>::value
, "Error");
537 static_assert(!std::is_constructible
<Empty
, int, int>::value
, "Error");
538 static_assert(!std::is_constructible
<const Empty
, int, int>::value
, "Error");
539 static_assert(!std::is_constructible
<Empty
, void, int>::value
, "Error");
540 static_assert(!std::is_constructible
<const Empty
, void, int>::value
, "Error");
541 static_assert(!std::is_constructible
<Empty
, void, void>::value
, "Error");
542 static_assert(!std::is_constructible
<const Empty
, void, void>::value
, "Error");
543 static_assert(!std::is_constructible
<U
, int, int>::value
, "Error");
544 static_assert(!std::is_constructible
<const U
, int, int>::value
, "Error");
545 static_assert(!std::is_constructible
<U
, void, int>::value
, "Error");
546 static_assert(!std::is_constructible
<const U
, void, int>::value
, "Error");
547 static_assert(!std::is_constructible
<U
, void, void>::value
, "Error");
548 static_assert(!std::is_constructible
<const U
, void, void>::value
, "Error");
549 static_assert(!std::is_constructible
<B
, int, int>::value
, "Error");
550 static_assert(!std::is_constructible
<const B
, int, int>::value
, "Error");
551 static_assert(!std::is_constructible
<B
, void, int>::value
, "Error");
552 static_assert(!std::is_constructible
<const B
, void, int>::value
, "Error");
553 static_assert(!std::is_constructible
<B
, void, void>::value
, "Error");
554 static_assert(!std::is_constructible
<const B
, void, void>::value
, "Error");
555 static_assert(!std::is_constructible
<Any
, int, int>::value
, "Error");
556 static_assert(!std::is_constructible
<const Any
, int, int>::value
, "Error");
557 static_assert(!std::is_constructible
<Any
, void, int>::value
, "Error");
558 static_assert(!std::is_constructible
<const Any
, void, int>::value
, "Error");
559 static_assert(!std::is_constructible
<Any
, void, void>::value
, "Error");
560 static_assert(!std::is_constructible
<const Any
, void, void>::value
, "Error");
561 static_assert(!std::is_constructible
<nAny
, void, int>::value
, "Error");
562 static_assert(!std::is_constructible
<const nAny
, void, int>::value
, "Error");
563 static_assert(!std::is_constructible
<nAny
, void, void>::value
, "Error");
564 static_assert(!std::is_constructible
<const nAny
, void, void>::value
, "Error");
565 static_assert(!std::is_constructible
<FromArgs
<>, int, int>::value
, "Error");
566 static_assert(!std::is_constructible
<const FromArgs
<>, int, int>::value
,
568 static_assert(!std::is_constructible
<FromArgs
<>, void, int>::value
, "Error");
569 static_assert(!std::is_constructible
<const FromArgs
<>, void, int>::value
,
571 static_assert(!std::is_constructible
<FromArgs
<>, void, void>::value
, "Error");
572 static_assert(!std::is_constructible
<const FromArgs
<>, void, void>::value
,
574 static_assert(!std::is_constructible
<Abstract
, int, int>::value
, "Error");
575 static_assert(!std::is_constructible
<const Abstract
, int, int>::value
, "Error");
576 static_assert(!std::is_constructible
<Abstract
, void, int>::value
, "Error");
577 static_assert(!std::is_constructible
<const Abstract
, void, int>::value
,
579 static_assert(!std::is_constructible
<Abstract
, void, void>::value
, "Error");
580 static_assert(!std::is_constructible
<const Abstract
, void, void>::value
,
582 static_assert(!std::is_constructible
<AbstractDelDtor
, int, int>::value
,
584 static_assert(!std::is_constructible
<const AbstractDelDtor
, int, int>::value
,
586 static_assert(!std::is_constructible
<AbstractDelDtor
, void, int>::value
,
588 static_assert(!std::is_constructible
<const AbstractDelDtor
, void, int>::value
,
590 static_assert(!std::is_constructible
<AbstractDelDtor
, void, void>::value
,
592 static_assert(!std::is_constructible
<const AbstractDelDtor
, void, void>::value
,
594 static_assert(!std::is_constructible
<int[1], int, int>::value
, "Error");
595 static_assert(!std::is_constructible
<const int[1], int, int>::value
, "Error");
596 static_assert(!std::is_constructible
<int[1], void, int>::value
, "Error");
597 static_assert(!std::is_constructible
<const int[1], void, int>::value
, "Error");
598 static_assert(!std::is_constructible
<int[1], void, void>::value
, "Error");
599 static_assert(!std::is_constructible
<const int[1], void, void>::value
, "Error");
600 static_assert(!std::is_constructible
<int&, int, int>::value
, "Error");
601 static_assert(!std::is_constructible
<int&, void, int>::value
, "Error");
602 static_assert(!std::is_constructible
<int&, void, void>::value
, "Error");
603 static_assert(!std::is_constructible
<int&, int&, int&>::value
, "Error");
604 static_assert(!std::is_constructible
<int&, void, int&>::value
, "Error");
605 static_assert(!std::is_constructible
<int&, void, void>::value
, "Error");
606 static_assert(!std::is_constructible
<std::nullptr_t
&, int, int>::value
,
608 static_assert(!std::is_constructible
<std::nullptr_t
&, void, int>::value
,
610 static_assert(!std::is_constructible
<std::nullptr_t
&, void, void>::value
,
612 static_assert(!std::is_constructible
<E
&, int, int>::value
, "Error");
613 static_assert(!std::is_constructible
<E
&, void, int>::value
, "Error");
614 static_assert(!std::is_constructible
<E
&, void, void>::value
, "Error");
615 static_assert(!std::is_constructible
<SE
&, int, int>::value
, "Error");
616 static_assert(!std::is_constructible
<SE
&, void, int>::value
, "Error");
617 static_assert(!std::is_constructible
<SE
&, void, void>::value
, "Error");
618 static_assert(!std::is_constructible
<OpE
&, int, int>::value
, "Error");
619 static_assert(!std::is_constructible
<OpE
&, void, int>::value
, "Error");
620 static_assert(!std::is_constructible
<OpE
&, void, void>::value
, "Error");
621 static_assert(!std::is_constructible
<OpSE
&, int, int>::value
, "Error");
622 static_assert(!std::is_constructible
<OpSE
&, void, int>::value
, "Error");
623 static_assert(!std::is_constructible
<OpSE
&, void, void>::value
, "Error");
624 static_assert(!std::is_constructible
<Empty
&, int, int>::value
, "Error");
625 static_assert(!std::is_constructible
<Empty
&, void, int>::value
, "Error");
626 static_assert(!std::is_constructible
<Empty
&, void, void>::value
, "Error");
627 static_assert(!std::is_constructible
<U
&, int, int>::value
, "Error");
628 static_assert(!std::is_constructible
<U
&, void, int>::value
, "Error");
629 static_assert(!std::is_constructible
<U
&, void, void>::value
, "Error");
630 static_assert(!std::is_constructible
<B
&, int, int>::value
, "Error");
631 static_assert(!std::is_constructible
<B
&, void, int>::value
, "Error");
632 static_assert(!std::is_constructible
<B
&, void, void>::value
, "Error");
633 static_assert(!std::is_constructible
<Any
&, int, int>::value
, "Error");
634 static_assert(!std::is_constructible
<Any
&, void, int>::value
, "Error");
635 static_assert(!std::is_constructible
<Any
&, void, void>::value
, "Error");
636 static_assert(!std::is_constructible
<nAny
&, void, int>::value
, "Error");
637 static_assert(!std::is_constructible
<nAny
&, void, void>::value
, "Error");
638 static_assert(!std::is_constructible
<FromArgs
<>&, int, int>::value
, "Error");
639 static_assert(!std::is_constructible
<FromArgs
<>&, void, int>::value
, "Error");
640 static_assert(!std::is_constructible
<FromArgs
<>&, void, void>::value
, "Error");
641 static_assert(!std::is_constructible
<Abstract
&, int, int>::value
, "Error");
642 static_assert(!std::is_constructible
<Abstract
&, void, int>::value
, "Error");
643 static_assert(!std::is_constructible
<Abstract
&, void, void>::value
, "Error");
644 static_assert(!std::is_constructible
<int(&)[1], int, int>::value
, "Error");
645 static_assert(!std::is_constructible
<int(&)[1], void, int>::value
, "Error");
646 static_assert(!std::is_constructible
<int(&)[1], void, void>::value
, "Error");
648 static_assert(!std::is_constructible
<void(), int, int>::value
, "Error");
649 static_assert(!std::is_constructible
<void(), void, int>::value
, "Error");
650 static_assert(!std::is_constructible
<void(), void, void>::value
, "Error");
651 static_assert(!std::is_constructible
<void(), void(), int>::value
, "Error");
652 static_assert(!std::is_constructible
<void(), void(), void()>::value
, "Error");
654 static_assert(!std::is_constructible
<void() const, int, int>::value
, "Error");
655 static_assert(!std::is_constructible
<void() const, void, int>::value
, "Error");
656 static_assert(!std::is_constructible
<void() const, void, void>::value
, "Error");
657 static_assert(!std::is_constructible
<void() const, void() volatile,
658 int>::value
, "Error");
659 static_assert(!std::is_constructible
<void() const, void() volatile const,
660 void() const>::value
, "Error");
662 static_assert(!std::is_constructible
<FromArgs
<int>, int, int>::value
, "Error");
663 static_assert(!std::is_constructible
<const FromArgs
<int>, int, int>::value
,
665 static_assert(!std::is_constructible
<FromArgs
<int>, void, int>::value
, "Error");
666 static_assert(!std::is_constructible
<const FromArgs
<int>, void, int>::value
,
668 static_assert(!std::is_constructible
<FromArgs
<int, int>, void, int>::value
,
670 static_assert(!std::is_constructible
<const FromArgs
<int, int>, void,
671 int>::value
, "Error");
673 static_assert(!std::is_constructible
<DelDtor
, int, B
, U
>::value
, "Error");
674 static_assert(!std::is_constructible
<const DelDtor
, int, B
, U
>::value
, "Error");
675 static_assert(!std::is_constructible
<DelDtor
, int>::value
, "Error");
676 static_assert(!std::is_constructible
<const DelDtor
, int>::value
, "Error");
677 static_assert(!std::is_constructible
<DelDtor
>::value
, "Error");
678 static_assert(!std::is_constructible
<const DelDtor
>::value
, "Error");
679 static_assert(!std::is_constructible
<DelDtor
, void*, void(&)()>::value
,
681 static_assert(!std::is_constructible
<const DelDtor
, void*, void(&)()>::value
,
684 static_assert(!std::is_constructible
<AbstractDelDtor
>::value
, "Error");
685 static_assert(!std::is_constructible
<const AbstractDelDtor
>::value
, "Error");
686 static_assert(!std::is_constructible
<DelEllipsis
>::value
, "Error");
687 static_assert(!std::is_constructible
<const DelEllipsis
>::value
, "Error");
688 static_assert(!std::is_constructible
<DelEllipsis
, double>::value
, "Error");
689 static_assert(!std::is_constructible
<const DelEllipsis
, double>::value
,
691 static_assert(!std::is_constructible
<DelEllipsis
, double, int&>::value
,
693 static_assert(!std::is_constructible
<const DelEllipsis
, double, int&>::value
,
695 static_assert(!std::is_constructible
<DelnAny
>::value
, "Error");
696 static_assert(!std::is_constructible
<const DelnAny
>::value
, "Error");
697 static_assert(!std::is_constructible
<DelnAny
, int>::value
, "Error");
698 static_assert(!std::is_constructible
<const DelnAny
, int>::value
, "Error");
699 static_assert(!std::is_constructible
<DelnAny
, int, void*>::value
, "Error");
700 static_assert(!std::is_constructible
<const DelnAny
, int, void*>::value
,
702 static_assert(!std::is_constructible
<DelnAny
, Empty
, B
, D
>::value
, "Error");
703 static_assert(!std::is_constructible
<const DelnAny
, Empty
, B
, D
>::value
,
706 // Deleted members in unions with non-trivial members:
707 static_assert(!std::is_constructible
<NontrivialUnion
>::value
, "Error");
708 static_assert(!std::is_constructible
<NontrivialUnion
,
709 const NontrivialUnion
&>::value
, "Error");
712 static_assert(!std::is_constructible
<UnusualCopy
>::value
, "Error");
713 static_assert(!std::is_constructible
<UnusualCopy
, UnusualCopy
>::value
, "Error");
714 static_assert(!std::is_constructible
<UnusualCopy
,
715 UnusualCopy
&&>::value
, "Error");
716 static_assert(!std::is_constructible
<UnusualCopy
,
717 const UnusualCopy
&>::value
, "Error");
718 static_assert(std::is_constructible
<UnusualCopy
, UnusualCopy
&>::value
, "Error");
720 static_assert(std::is_constructible
<FromArgs
<int, char>,
721 int, char>::value
, "Error");
722 static_assert(std::is_constructible
<const FromArgs
<int, char>,
723 int, char>::value
, "Error");
724 static_assert(std::is_constructible
<FromArgs
<int, char>,
725 int, int>::value
, "Error");
726 static_assert(std::is_constructible
<const FromArgs
<int, char>,
727 int, int>::value
, "Error");
728 static_assert(std::is_constructible
<nAny
, int, int>::value
, "Error");
729 static_assert(std::is_constructible
<const nAny
, int, int>::value
, "Error");
730 static_assert(std::is_constructible
<FromArgs
<int, char>,
731 ImplicitTo
<int>, ImplicitTo
<char>>::value
, "Error");
732 static_assert(std::is_constructible
<const FromArgs
<int, char>,
733 ImplicitTo
<int>, ImplicitTo
<char>>::value
, "Error");
734 static_assert(std::is_constructible
<Ellipsis
, int, char>::value
, "Error");
735 static_assert(std::is_constructible
<const Ellipsis
, int, char>::value
, "Error");
736 static_assert(std::is_constructible
<Ellipsis
, B
, U
, int&>::value
, "Error");
737 static_assert(std::is_constructible
<const Ellipsis
,
738 B
, U
, int&>::value
, "Error");
739 static_assert(std::is_constructible
<nAny
, B
, U
, int&>::value
, "Error");
740 static_assert(std::is_constructible
<const nAny
, B
, U
, int&>::value
, "Error");
741 static_assert(std::is_constructible
<FromArgs
<std::initializer_list
<int>,
742 std::initializer_list
<B
>>, std::initializer_list
<int>,
743 std::initializer_list
<B
>>::value
, "Error");
744 static_assert(std::is_constructible
<const FromArgs
<std::initializer_list
<int>,
745 std::initializer_list
<B
>>, std::initializer_list
<int>,
746 std::initializer_list
<B
>>::value
, "Error");
747 static_assert(std::is_constructible
<FromArgs
<std::initializer_list
<int>,
748 std::initializer_list
<B
>>, std::initializer_list
<int>&,
749 std::initializer_list
<B
>&>::value
, "Error");
750 static_assert(!std::is_constructible
<FromArgs
<std::initializer_list
<int>&,
751 std::initializer_list
<B
>&>, std::initializer_list
<int>,
752 std::initializer_list
<B
>>::value
, "Error");
754 static_assert(!std::is_constructible
<FromArgs
<std::initializer_list
<int>>,
755 int, int>::value
, "Error");
756 static_assert(!std::is_constructible
<const
757 FromArgs
<std::initializer_list
<int>>, int, int>::value
, "Error");
758 static_assert(!std::is_constructible
<B
[2], B
, B
>::value
, "Error");
759 static_assert(!std::is_constructible
<const B
[2], B
, B
>::value
, "Error");
760 static_assert(!std::is_constructible
<U
[2], U
, U
>::value
, "Error");
761 static_assert(!std::is_constructible
<const U
[2], U
, U
>::value
, "Error");
763 static_assert(!std::is_constructible
<E
, E
, E
>::value
, "Error");
764 static_assert(!std::is_constructible
<const E
, E
, E
>::value
, "Error");
765 static_assert(!std::is_constructible
<SE
, SE
, SE
>::value
, "Error");
766 static_assert(!std::is_constructible
<const SE
, SE
, SE
>::value
, "Error");
767 static_assert(!std::is_constructible
<E
, B
, std::nullptr_t
>::value
, "Error");
768 static_assert(!std::is_constructible
<const E
, B
, std::nullptr_t
>::value
,
770 static_assert(!std::is_constructible
<SE
, B
, std::nullptr_t
>::value
, "Error");
771 static_assert(!std::is_constructible
<const SE
, B
, std::nullptr_t
>::value
,
773 static_assert(!std::is_constructible
<E
, int[], int[]>::value
, "Error");
774 static_assert(!std::is_constructible
<const E
, int[], int[]>::value
, "Error");
775 static_assert(!std::is_constructible
<SE
, int[], int[]>::value
, "Error");
776 static_assert(!std::is_constructible
<const SE
, int[], int[]>::value
, "Error");
778 static_assert(!std::is_constructible
<OpE
, OpE
, OpE
>::value
, "Error");
779 static_assert(!std::is_constructible
<const OpE
, OpE
, OpE
>::value
, "Error");
780 static_assert(!std::is_constructible
<OpSE
, OpSE
, OpSE
>::value
, "Error");
781 static_assert(!std::is_constructible
<const OpSE
, OpSE
, OpSE
>::value
, "Error");
782 static_assert(!std::is_constructible
<OpE
, B
, std::nullptr_t
>::value
, "Error");
783 static_assert(!std::is_constructible
<const OpE
, B
, std::nullptr_t
>::value
,
785 static_assert(!std::is_constructible
<OpSE
, B
, std::nullptr_t
>::value
, "Error");
786 static_assert(!std::is_constructible
<const OpSE
, B
, std::nullptr_t
>::value
,
788 static_assert(!std::is_constructible
<OpE
, int[], int[]>::value
, "Error");
789 static_assert(!std::is_constructible
<const OpE
, int[], int[]>::value
, "Error");
790 static_assert(!std::is_constructible
<OpSE
, int[], int[]>::value
, "Error");
791 static_assert(!std::is_constructible
<const OpSE
, int[], int[]>::value
, "Error");
793 static_assert(!std::is_constructible
<int[], int, int>::value
, "Error");
794 static_assert(!std::is_constructible
<const int[], int, int>::value
, "Error");
796 static_assert(std::is_constructible
<int&, ImplicitTo
<int&>>::value
, "Error");
797 static_assert(std::is_constructible
<const int&, ImplicitTo
<int&&>>::value
,
799 static_assert(std::is_constructible
<int&&, ImplicitTo
<int&&>>::value
, "Error");
800 static_assert(std::is_constructible
<const int&, ImplicitTo
<int>>::value
,
803 static_assert(!std::is_constructible
<const int&, ExplicitTo
<int>>::value
,
805 static_assert(!std::is_constructible
<int&&, ExplicitTo
<int>>::value
, "Error");
807 // Binding through reference-compatible type is required to perform
808 // direct-initialization as described in [over.match.ref] p. 1 b. 1:
809 static_assert(std::is_constructible
<int&, ExplicitTo
<int&>>::value
, "Error");
810 static_assert(std::is_constructible
<const int&, ExplicitTo
<int&&>>::value
,
812 static_assert(std::is_constructible
<int&&, ExplicitTo
<int&&>>::value
, "Error");
814 // Binding through temporary behaves like copy-initialization,
815 // see [dcl.init.ref] p. 5, very last sub-bullet:
816 static_assert(!std::is_constructible
<const int&, ExplicitTo
<double&&>>::value
,
818 static_assert(!std::is_constructible
<int&&, ExplicitTo
<double&&>>::value
,