Lines Matching refs:static_assert

23   static_assert(std::regular_invocable<R(Args...) noexcept, Args...> == result);
24   static_assert(std::regular_invocable<R (*)(Args...), Args...> == result);
25   static_assert(std::regular_invocable<R (*)(Args...) noexcept, Args...> ==
27   static_assert(std::regular_invocable<R (&)(Args...), Args...> == result);
28   static_assert(std::regular_invocable<R (&)(Args...) noexcept, Args...> ==
34 static_assert(check_invocable<void>());
35 static_assert(check_invocable<void, int>());
36 static_assert(check_invocable<void, int&>());
37 static_assert(check_invocable<void, int*, double>());
38 static_assert(check_invocable<int>());
39 static_assert(check_invocable<int, int[]>());
42 static_assert(check_invocable<int, int S::*, std::nullptr_t>());
43 static_assert(check_invocable<int, int (S::*)(), int (S::*)(int), int>());
44 static_assert(std::regular_invocable<void (*)(int const&), int&>);
45 static_assert(std::regular_invocable<void (*)(int const&), int&&>);
46 static_assert(std::regular_invocable<void (*)(int volatile&), int&>);
47 static_assert(std::regular_invocable<void (*)(int const volatile&), int&>);
49 static_assert(!std::regular_invocable<void(), int>);
50 static_assert(!std::regular_invocable<void(int)>);
51 static_assert(!std::regular_invocable<void(int*), double*>);
52 static_assert(!std::regular_invocable<void (*)(int&), double*>);
53 static_assert(std::regular_invocable<int S::*, std::unique_ptr<S> >);
54 static_assert(std::regular_invocable<int S::*, std::shared_ptr<S> >);
55 static_assert(!std::regular_invocable<void (*)(int&&), int&>);
56 static_assert(!std::regular_invocable<void (*)(int&&), int const&>);
58 static_assert(!std::regular_invocable<void>);
59 static_assert(!std::regular_invocable<void*>);
60 static_assert(!std::regular_invocable<int>);
61 static_assert(!std::regular_invocable<int&>);
62 static_assert(!std::regular_invocable<int&&>);
68 static_assert(std::regular_invocable<function_object>);
69 static_assert(!std::regular_invocable<function_object const>);
70 static_assert(!std::regular_invocable<function_object volatile>);
71 static_assert(!std::regular_invocable<function_object const volatile>);
72 static_assert(std::regular_invocable<function_object&>);
73 static_assert(!std::regular_invocable<function_object const&>);
74 static_assert(!std::regular_invocable<function_object volatile&>);
75 static_assert(!std::regular_invocable<function_object const volatile&>);
80 static_assert(std::regular_invocable<const_function_object, int>);
81 static_assert(std::regular_invocable<const_function_object const, int>);
82 static_assert(!std::regular_invocable<const_function_object volatile, int>);
83 static_assert(
85 static_assert(std::regular_invocable<const_function_object&, int>);
86 static_assert(std::regular_invocable<const_function_object const&, int>);
87 static_assert(!std::regular_invocable<const_function_object volatile&, int>);
88 static_assert(
94 static_assert(std::regular_invocable<volatile_function_object, int, int>);
95 static_assert(
97 static_assert(
99 static_assert(
101 static_assert(std::regular_invocable<volatile_function_object&, int, int>);
102 static_assert(
104 static_assert(
106 static_assert(!std::regular_invocable<volatile_function_object const volatile&,
112 static_assert(std::regular_invocable<cv_function_object, int*>);
113 static_assert(std::regular_invocable<cv_function_object const, int*>);
114 static_assert(std::regular_invocable<cv_function_object volatile, int*>);
115 static_assert(std::regular_invocable<cv_function_object const volatile, int*>);
116 static_assert(std::regular_invocable<cv_function_object&, int*>);
117 static_assert(std::regular_invocable<cv_function_object const&, int*>);
118 static_assert(std::regular_invocable<cv_function_object volatile&, int*>);
119 static_assert(std::regular_invocable<cv_function_object const volatile&, int*>);
124 static_assert(!std::regular_invocable<lvalue_function_object>);
125 static_assert(!std::regular_invocable<lvalue_function_object const>);
126 static_assert(!std::regular_invocable<lvalue_function_object volatile>);
127 static_assert(!std::regular_invocable<lvalue_function_object const volatile>);
128 static_assert(std::regular_invocable<lvalue_function_object&>);
129 static_assert(!std::regular_invocable<lvalue_function_object const&>);
130 static_assert(!std::regular_invocable<lvalue_function_object volatile&>);
131 static_assert(!std::regular_invocable<lvalue_function_object const volatile&>);
136 static_assert(std::regular_invocable<lvalue_const_function_object, int>);
137 static_assert(std::regular_invocable<lvalue_const_function_object const, int>);
138 static_assert(
140 static_assert(
142 static_assert(std::regular_invocable<lvalue_const_function_object&, int>);
143 static_assert(std::regular_invocable<lvalue_const_function_object const&, int>);
144 static_assert(
146 static_assert(
152 static_assert(
154 static_assert(
156 static_assert(!std::regular_invocable<lvalue_volatile_function_object volatile,
158 static_assert(!std::regular_invocable<
160 static_assert(
162 static_assert(
164 static_assert(std::regular_invocable<lvalue_volatile_function_object volatile&,
166 static_assert(!std::regular_invocable<
172 static_assert(!std::regular_invocable<lvalue_cv_function_object, int*>);
173 static_assert(!std::regular_invocable<lvalue_cv_function_object const, int*>);
174 static_assert(
176 static_assert(
178 static_assert(std::regular_invocable<lvalue_cv_function_object&, int*>);
179 static_assert(std::regular_invocable<lvalue_cv_function_object const&, int*>);
180 static_assert(
182 static_assert(
188 static_assert(std::regular_invocable<rvalue_function_object>);
189 static_assert(!std::regular_invocable<rvalue_function_object const>);
190 static_assert(!std::regular_invocable<rvalue_function_object volatile>);
191 static_assert(!std::regular_invocable<rvalue_function_object const volatile>);
192 static_assert(!std::regular_invocable<rvalue_function_object&>);
193 static_assert(!std::regular_invocable<rvalue_function_object const&>);
194 static_assert(!std::regular_invocable<rvalue_function_object volatile&>);
195 static_assert(!std::regular_invocable<rvalue_function_object const volatile&>);
200 static_assert(std::regular_invocable<rvalue_const_function_object, int>);
201 static_assert(std::regular_invocable<rvalue_const_function_object const, int>);
202 static_assert(
204 static_assert(
206 static_assert(!std::regular_invocable<rvalue_const_function_object&, int>);
207 static_assert(
209 static_assert(
211 static_assert(
217 static_assert(
219 static_assert(
221 static_assert(
223 static_assert(!std::regular_invocable<
225 static_assert(
227 static_assert(
229 static_assert(!std::regular_invocable<rvalue_volatile_function_object volatile&,
231 static_assert(!std::regular_invocable<
237 static_assert(std::regular_invocable<rvalue_cv_function_object, int*>);
238 static_assert(std::regular_invocable<rvalue_cv_function_object const, int*>);
239 static_assert(std::regular_invocable<rvalue_cv_function_object volatile, int*>);
240 static_assert(
242 static_assert(!std::regular_invocable<rvalue_cv_function_object&, int*>);
243 static_assert(!std::regular_invocable<rvalue_cv_function_object const&, int*>);
244 static_assert(
246 static_assert(
257 static_assert(std::regular_invocable<multiple_overloads, multiple_overloads::A>);
258 static_assert(std::regular_invocable<multiple_overloads, multiple_overloads::B>);
259 static_assert(std::regular_invocable<multiple_overloads, int>);
260 static_assert(!std::regular_invocable<multiple_overloads, multiple_overloads::AB>);
261 static_assert(!std::regular_invocable<multiple_overloads, multiple_overloads::O>);
270     static_assert(std::regular_invocable<Member, uncv_t*, Args...> == result);
271     static_assert(std::regular_invocable<Member, std::unique_ptr<uncv_t>, Args...> == result);
272     static_assert(std::regular_invocable<Member, std::reference_wrapper<uncv_t>, Args...> == result);
273     static_assert(!std::regular_invocable<Member, std::nullptr_t, Args...>);
274     static_assert(!std::regular_invocable<Member, int, Args...>);
275     static_assert(!std::regular_invocable<Member, int*, Args...>);
276     static_assert(!std::regular_invocable<Member, double*, Args...>);
278     static_assert(!std::regular_invocable<Member, S2*, Args...>);
282 static_assert(check_member_is_invocable<int S::*, S>());
283 static_assert(std::regular_invocable<int S::*, S&>);
284 static_assert(std::regular_invocable<int S::*, S const&>);
285 static_assert(std::regular_invocable<int S::*, S volatile&>);
286 static_assert(std::regular_invocable<int S::*, S const volatile&>);
287 static_assert(std::regular_invocable<int S::*, S&&>);
288 static_assert(std::regular_invocable<int S::*, S const&&>);
289 static_assert(std::regular_invocable<int S::*, S volatile&&>);
290 static_assert(std::regular_invocable<int S::*, S const volatile&&>);
292 static_assert(check_member_is_invocable<int (S::*)(int), S, int>());
293 static_assert(!check_member_is_invocable<int (S::*)(int), S>());
295 static_assert(std::regular_invocable<unqualified, S&>);
296 static_assert(!std::regular_invocable<unqualified, S const&>);
297 static_assert(!std::regular_invocable<unqualified, S volatile&>);
298 static_assert(!std::regular_invocable<unqualified, S const volatile&>);
299 static_assert(std::regular_invocable<unqualified, S&&>);
300 static_assert(!std::regular_invocable<unqualified, S const&&>);
301 static_assert(!std::regular_invocable<unqualified, S volatile&&>);
302 static_assert(!std::regular_invocable<unqualified, S const volatile&&>);
304 static_assert(check_member_is_invocable<int (S::*)(double) const, S, double>());
306 static_assert(std::regular_invocable<const_qualified, S&>);
307 static_assert(std::regular_invocable<const_qualified, S const&>);
308 static_assert(!std::regular_invocable<const_qualified, S volatile&>);
309 static_assert(!std::regular_invocable<const_qualified, S const volatile&>);
310 static_assert(std::regular_invocable<const_qualified, S&&>);
311 static_assert(std::regular_invocable<const_qualified, S const&&>);
312 static_assert(!std::regular_invocable<const_qualified, S volatile&&>);
313 static_assert(!std::regular_invocable<const_qualified, S const volatile&&>);
315 static_assert(
318 static_assert(std::regular_invocable<volatile_qualified, S&>);
319 static_assert(!std::regular_invocable<volatile_qualified, S const&>);
320 static_assert(std::regular_invocable<volatile_qualified, S volatile&>);
321 static_assert(!std::regular_invocable<volatile_qualified, S const volatile&>);
322 static_assert(std::regular_invocable<volatile_qualified, S&&>);
323 static_assert(!std::regular_invocable<volatile_qualified, S const&&>);
324 static_assert(std::regular_invocable<volatile_qualified, S volatile&&>);
325 static_assert(!std::regular_invocable<volatile_qualified, S const volatile&&>);
327 static_assert(check_member_is_invocable<int (S::*)(int, S&) const volatile, S,
330 static_assert(std::regular_invocable<cv_qualified, S&>);
331 static_assert(std::regular_invocable<cv_qualified, S const&>);
332 static_assert(std::regular_invocable<cv_qualified, S volatile&>);
333 static_assert(std::regular_invocable<cv_qualified, S const volatile&>);
334 static_assert(std::regular_invocable<cv_qualified, S&&>);
335 static_assert(std::regular_invocable<cv_qualified, S const&&>);
336 static_assert(std::regular_invocable<cv_qualified, S volatile&&>);
337 static_assert(std::regular_invocable<cv_qualified, S const volatile&&>);
339 static_assert(check_member_is_invocable<int (S::*)() &, S&>());
341 static_assert(std::regular_invocable<lvalue_qualified, S&>);
342 static_assert(!std::regular_invocable<lvalue_qualified, S const&>);
343 static_assert(!std::regular_invocable<lvalue_qualified, S volatile&>);
344 static_assert(!std::regular_invocable<lvalue_qualified, S const volatile&>);
345 static_assert(!std::regular_invocable<lvalue_qualified, S&&>);
346 static_assert(!std::regular_invocable<lvalue_qualified, S const&&>);
347 static_assert(!std::regular_invocable<lvalue_qualified, S volatile&&>);
348 static_assert(!std::regular_invocable<lvalue_qualified, S const volatile&&>);
350 static_assert(check_member_is_invocable<int (S::*)() const&, S>());
352 static_assert(std::regular_invocable<lvalue_const_qualified, S&>);
353 static_assert(std::regular_invocable<lvalue_const_qualified, S const&>);
354 static_assert(!std::regular_invocable<lvalue_const_qualified, S volatile&>);
355 static_assert(
357 static_assert(std::regular_invocable<lvalue_const_qualified, S&&>);
358 static_assert(std::regular_invocable<lvalue_const_qualified, S const&&>);
359 static_assert(!std::regular_invocable<lvalue_const_qualified, S volatile&&>);
360 static_assert(
363 static_assert(check_member_is_invocable<int (S::*)() volatile&, S&>());
365 static_assert(std::regular_invocable<lvalue_volatile_qualified, S&>);
366 static_assert(!std::regular_invocable<lvalue_volatile_qualified, S const&>);
367 static_assert(std::regular_invocable<lvalue_volatile_qualified, S volatile&>);
368 static_assert(
370 static_assert(!std::regular_invocable<lvalue_volatile_qualified, S&&>);
371 static_assert(!std::regular_invocable<lvalue_volatile_qualified, S const&&>);
372 static_assert(!std::regular_invocable<lvalue_volatile_qualified, S volatile&&>);
373 static_assert(
376 static_assert(check_member_is_invocable<int (S::*)() const volatile&, S&>());
378 static_assert(std::regular_invocable<lvalue_cv_qualified, S&>);
379 static_assert(std::regular_invocable<lvalue_cv_qualified, S const&>);
380 static_assert(std::regular_invocable<lvalue_cv_qualified, S volatile&>);
381 static_assert(std::regular_invocable<lvalue_cv_qualified, S const volatile&>);
382 static_assert(!std::regular_invocable<lvalue_cv_qualified, S&&>);
383 static_assert(!std::regular_invocable<lvalue_cv_qualified, S const&&>);
384 static_assert(!std::regular_invocable<lvalue_cv_qualified, S volatile&&>);
385 static_assert(!std::regular_invocable<lvalue_cv_qualified, S const volatile&&>);
388 static_assert(!std::regular_invocable<rvalue_unqualified, S&>);
389 static_assert(!std::regular_invocable<rvalue_unqualified, S const&>);
390 static_assert(!std::regular_invocable<rvalue_unqualified, S volatile&>);
391 static_assert(!std::regular_invocable<rvalue_unqualified, S const volatile&>);
392 static_assert(std::regular_invocable<rvalue_unqualified, S&&>);
393 static_assert(!std::regular_invocable<rvalue_unqualified, S const&&>);
394 static_assert(!std::regular_invocable<rvalue_unqualified, S volatile&&>);
395 static_assert(!std::regular_invocable<rvalue_unqualified, S const volatile&&>);
398 static_assert(!std::regular_invocable<rvalue_const_unqualified, S&>);
399 static_assert(!std::regular_invocable<rvalue_const_unqualified, S const&>);
400 static_assert(!std::regular_invocable<rvalue_const_unqualified, S volatile&>);
401 static_assert(
403 static_assert(std::regular_invocable<rvalue_const_unqualified, S&&>);
404 static_assert(std::regular_invocable<rvalue_const_unqualified, S const&&>);
405 static_assert(!std::regular_invocable<rvalue_const_unqualified, S volatile&&>);
406 static_assert(
410 static_assert(!std::regular_invocable<rvalue_volatile_unqualified, S&>);
411 static_assert(!std::regular_invocable<rvalue_volatile_unqualified, S const&>);
412 static_assert(
414 static_assert(
416 static_assert(std::regular_invocable<rvalue_volatile_unqualified, S&&>);
417 static_assert(!std::regular_invocable<rvalue_volatile_unqualified, S const&&>);
418 static_assert(
420 static_assert(
424 static_assert(!std::regular_invocable<rvalue_cv_unqualified, S&>);
425 static_assert(!std::regular_invocable<rvalue_cv_unqualified, S const&>);
426 static_assert(!std::regular_invocable<rvalue_cv_unqualified, S volatile&>);
427 static_assert(
429 static_assert(std::regular_invocable<rvalue_cv_unqualified, S&&>);
430 static_assert(std::regular_invocable<rvalue_cv_unqualified, S const&&>);
431 static_assert(std::regular_invocable<rvalue_cv_unqualified, S volatile&&>);
432 static_assert(
454 static_assert(is_regular_invocable([] {}));
455 static_assert(is_regular_invocable([](int) {}, 0));
456 static_assert(is_regular_invocable([](int) {}, 0L));
457 static_assert(!is_regular_invocable([](int) {}, nullptr));
460 static_assert(is_regular_invocable([](int&) {}, i));