34   static_assert(std::swappable_with<T, U> == std::swappable_with<U, T>);  in check_swappable_with_impl()
40   static_assert(!check_swappable_with_impl<T, U>());  in check_swappable_with()
41   static_assert(!check_swappable_with_impl<T, U const>());  in check_swappable_with()
42   static_assert(!check_swappable_with_impl<T const, U>());  in check_swappable_with()
43   static_assert(!check_swappable_with_impl<T const, U const>());  in check_swappable_with()
45   static_assert(!check_swappable_with_impl<T, U&>());  in check_swappable_with()
46   static_assert(!check_swappable_with_impl<T, U const&>());  in check_swappable_with()
47   static_assert(!check_swappable_with_impl<T, U volatile&>());  in check_swappable_with()
48   static_assert(!check_swappable_with_impl<T, U const volatile&>());  in check_swappable_with()
49   static_assert(!check_swappable_with_impl<T const, U&>());  in check_swappable_with()
50   static_assert(!check_swappable_with_impl<T const, U const&>());  in check_swappable_with()
51   static_assert(!check_swappable_with_impl<T const, U volatile&>());  in check_swappable_with()
52   static_assert(!check_swappable_with_impl<T const, U const volatile&>());  in check_swappable_with()
54   static_assert(!check_swappable_with_impl<T&, U>());  in check_swappable_with()
55   static_assert(!check_swappable_with_impl<T&, U const>());  in check_swappable_with()
56   static_assert(!check_swappable_with_impl<T const&, U>());  in check_swappable_with()
57   static_assert(!check_swappable_with_impl<T const&, U const>());  in check_swappable_with()
58   static_assert(!check_swappable_with_impl<T volatile&, U>());  in check_swappable_with()
59   static_assert(!check_swappable_with_impl<T volatile&, U const>());  in check_swappable_with()
60   static_assert(!check_swappable_with_impl<T const volatile&, U>());  in check_swappable_with()
61   static_assert(!check_swappable_with_impl<T const volatile&, U const>());  in check_swappable_with()
63   static_assert(!check_swappable_with_impl<T&, U const&>());  in check_swappable_with()
64   static_assert(!check_swappable_with_impl<T&, U volatile&>());  in check_swappable_with()
65   static_assert(!check_swappable_with_impl<T&, U const volatile&>());  in check_swappable_with()
66   static_assert(!check_swappable_with_impl<T const&, U&>());  in check_swappable_with()
67   static_assert(!check_swappable_with_impl<T const&, U const&>());  in check_swappable_with()
68   static_assert(!check_swappable_with_impl<T const&, U volatile&>());  in check_swappable_with()
69   static_assert(!check_swappable_with_impl<T const&, U const volatile&>());  in check_swappable_with()
70   static_assert(!check_swappable_with_impl<T volatile&, U&>());  in check_swappable_with()
71   static_assert(!check_swappable_with_impl<T volatile&, U const&>());  in check_swappable_with()
72   static_assert(!check_swappable_with_impl<T volatile&, U const volatile&>());  in check_swappable_with()
73   static_assert(!check_swappable_with_impl<T const volatile&, U&>());  in check_swappable_with()
74   static_assert(!check_swappable_with_impl<T const volatile&, U const&>());  in check_swappable_with()
75   static_assert(!check_swappable_with_impl<T const volatile&, U volatile&>());  in check_swappable_with()
76   static_assert(  in check_swappable_with()
79   static_assert(!check_swappable_with_impl<T, U&&>());  in check_swappable_with()
80   static_assert(!check_swappable_with_impl<T, U const&&>());  in check_swappable_with()
81   static_assert(!check_swappable_with_impl<T, U volatile&&>());  in check_swappable_with()
82   static_assert(!check_swappable_with_impl<T, U const volatile&&>());  in check_swappable_with()
83   static_assert(!check_swappable_with_impl<T const, U&&>());  in check_swappable_with()
84   static_assert(!check_swappable_with_impl<T const, U const&&>());  in check_swappable_with()
85   static_assert(!check_swappable_with_impl<T const, U volatile&&>());  in check_swappable_with()
86   static_assert(!check_swappable_with_impl<T const, U const volatile&&>());  in check_swappable_with()
88   static_assert(!check_swappable_with_impl<T&&, U>());  in check_swappable_with()
89   static_assert(!check_swappable_with_impl<T&&, U const>());  in check_swappable_with()
90   static_assert(!check_swappable_with_impl<T const&&, U>());  in check_swappable_with()
91   static_assert(!check_swappable_with_impl<T const&&, U const>());  in check_swappable_with()
92   static_assert(!check_swappable_with_impl<T volatile&&, U>());  in check_swappable_with()
93   static_assert(!check_swappable_with_impl<T volatile&&, U const>());  in check_swappable_with()
94   static_assert(!check_swappable_with_impl<T const volatile&&, U>());  in check_swappable_with()
95   static_assert(!check_swappable_with_impl<T const volatile&&, U const>());  in check_swappable_with()
97   static_assert(!check_swappable_with_impl<T&, U&&>());  in check_swappable_with()
98   static_assert(!check_swappable_with_impl<T&, U const&&>());  in check_swappable_with()
99   static_assert(!check_swappable_with_impl<T&, U volatile&&>());  in check_swappable_with()
100   static_assert(!check_swappable_with_impl<T&, U const volatile&&>());  in check_swappable_with()
101   static_assert(!check_swappable_with_impl<T const&, U&&>());  in check_swappable_with()
102   static_assert(!check_swappable_with_impl<T const&, U const&&>());  in check_swappable_with()
103   static_assert(!check_swappable_with_impl<T const&, U volatile&&>());  in check_swappable_with()
104   static_assert(!check_swappable_with_impl<T const&, U const volatile&&>());  in check_swappable_with()
105   static_assert(!check_swappable_with_impl<T volatile&, U&&>());  in check_swappable_with()
106   static_assert(!check_swappable_with_impl<T volatile&, U const&&>());  in check_swappable_with()
107   static_assert(!check_swappable_with_impl<T volatile&, U volatile&&>());  in check_swappable_with()
108   static_assert(!check_swappable_with_impl<T volatile&, U const volatile&&>());  in check_swappable_with()
109   static_assert(!check_swappable_with_impl<T const volatile&, U&&>());  in check_swappable_with()
110   static_assert(!check_swappable_with_impl<T const volatile&, U const&&>());  in check_swappable_with()
111   static_assert(!check_swappable_with_impl<T const volatile&, U volatile&&>());  in check_swappable_with()
112   static_assert(  in check_swappable_with()
115   static_assert(!check_swappable_with_impl<T&&, U&>());  in check_swappable_with()
116   static_assert(!check_swappable_with_impl<T&&, U const&>());  in check_swappable_with()
117   static_assert(!check_swappable_with_impl<T&&, U volatile&>());  in check_swappable_with()
118   static_assert(!check_swappable_with_impl<T&&, U const volatile&>());  in check_swappable_with()
119   static_assert(!check_swappable_with_impl<T const&&, U&>());  in check_swappable_with()
120   static_assert(!check_swappable_with_impl<T const&&, U const&>());  in check_swappable_with()
121   static_assert(!check_swappable_with_impl<T const&&, U volatile&>());  in check_swappable_with()
122   static_assert(!check_swappable_with_impl<T const&&, U const volatile&>());  in check_swappable_with()
123   static_assert(!check_swappable_with_impl<T volatile&&, U&>());  in check_swappable_with()
124   static_assert(!check_swappable_with_impl<T volatile&&, U const&>());  in check_swappable_with()
125   static_assert(!check_swappable_with_impl<T volatile&&, U volatile&>());  in check_swappable_with()
126   static_assert(!check_swappable_with_impl<T volatile&&, U const volatile&>());  in check_swappable_with()
127   static_assert(!check_swappable_with_impl<T const volatile&&, U&>());  in check_swappable_with()
128   static_assert(!check_swappable_with_impl<T const volatile&&, U const&>());  in check_swappable_with()
129   static_assert(!check_swappable_with_impl<T const volatile&&, U volatile&>());  in check_swappable_with()
130   static_assert(  in check_swappable_with()
133   static_assert(!check_swappable_with_impl<T&&, U&&>());  in check_swappable_with()
134   static_assert(!check_swappable_with_impl<T&&, U const&&>());  in check_swappable_with()
135   static_assert(!check_swappable_with_impl<T&&, U volatile&&>());  in check_swappable_with()
136   static_assert(!check_swappable_with_impl<T&&, U const volatile&&>());  in check_swappable_with()
137   static_assert(!check_swappable_with_impl<T const&&, U&&>());  in check_swappable_with()
138   static_assert(!check_swappable_with_impl<T const&&, U const&&>());  in check_swappable_with()
139   static_assert(!check_swappable_with_impl<T const&&, U volatile&&>());  in check_swappable_with()
140   static_assert(!check_swappable_with_impl<T const&&, U const volatile&&>());  in check_swappable_with()
141   static_assert(!check_swappable_with_impl<T volatile&&, U&&>());  in check_swappable_with()
142   static_assert(!check_swappable_with_impl<T volatile&&, U const&&>());  in check_swappable_with()
143   static_assert(!check_swappable_with_impl<T volatile&&, U volatile&&>());  in check_swappable_with()
144   static_assert(!check_swappable_with_impl<T volatile&&, U const volatile&&>());  in check_swappable_with()
145   static_assert(!check_swappable_with_impl<T const volatile&&, U&&>());  in check_swappable_with()
146   static_assert(!check_swappable_with_impl<T const volatile&&, U const&&>());  in check_swappable_with()
147   static_assert(!check_swappable_with_impl<T const volatile&&, U volatile&&>());  in check_swappable_with()
148   static_assert(  in check_swappable_with()
156   static_assert(check_swappable_with_impl<T volatile&, U volatile&>() ==  in check_swappable_with_including_lvalue_ref_to_volatile()
162 static_assert(
164 static_assert(
166 static_assert(
169 static_assert(
171 static_assert(
173 static_assert(check_swappable_with_including_lvalue_ref_to_volatile<
175 static_assert(
179 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<int, S>());
180 static_assert(check_swappable_with_including_lvalue_ref_to_volatile<
182 static_assert(
184 static_assert(check_swappable_with_including_lvalue_ref_to_volatile<
186 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
188 static_assert(check_swappable_with_including_lvalue_ref_to_volatile<
190 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
192 static_assert(check_swappable_with_including_lvalue_ref_to_volatile<
194 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
196 static_assert(check_swappable_with_including_lvalue_ref_to_volatile<
198 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
200 static_assert(check_swappable_with_including_lvalue_ref_to_volatile<
202 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
204 static_assert(check_swappable_with_including_lvalue_ref_to_volatile<
206 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
209 static_assert(
211 static_assert(
213 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
215 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
217 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<int[5][6],
219 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<int[5][6],
221 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
223 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
225 static_assert(check_swappable_with_including_lvalue_ref_to_volatile<
227 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
229 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
231 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
233 static_assert(!check_swappable_with_including_lvalue_ref_to_volatile<
237 static_assert(!check_swappable_with_impl<void, void>());
238 static_assert(!check_swappable_with_impl<int, void>());
239 static_assert(!check_swappable_with_impl<int&, void>());
240 static_assert(!check_swappable_with_impl<void, int>());
241 static_assert(!check_swappable_with_impl<void, int&>());
242 static_assert(!check_swappable_with_impl<int, int()>());
243 static_assert(!check_swappable_with_impl<int, int (&)()>());
247 static_assert(
249 static_assert(check_swappable_with<lvalue_rvalue_adl_swappable,
251 static_assert(check_swappable_with<rvalue_lvalue_adl_swappable,
253 static_assert(
255 static_assert(!check_swappable_with_impl<lvalue_rvalue_adl_swappable&,
263 static_assert(!check_swappable_with<s1, no_common_reference_with_s1>());
269 static_assert(std::common_reference_with<one_way_swappable_with_s1, s1>);
270 static_assert(!check_swappable_with<one_way_swappable_with_s1, s1>());
276 static_assert(
278 static_assert(!check_swappable_with<one_way_swappable_with_s1_other_way, s1>());
288 static_assert(
290 static_assert(!std::swappable<can_swap_with_s1_but_not_swappable>);
291 static_assert(
299 static_assert(check_swappable_with<swappable_with_s1, s1>());
316 static_assert(
318 static_assert(!std::swappable_with<
338 static_assert(
340 static_assert(
361 static_assert(
363 static_assert(
386 static_assert(std::swappable_with<swappable_with_const_s2 const&, s2 const&>);
401 static_assert(
417 static_assert(std::swappable_with<swappable_with_cv_s2 const volatile&,
428 static_assert(
430 static_assert(
444 static_assert(!std::swappable<
446 static_assert(!std::swappable_with<
469 static_assert(
472 static_assert(
496 static_assert(
499 static_assert(
519 static_assert(std::swappable_with<swappable_with_rvalue_ref_to_s3&&, s3&&>);
538 static_assert(std::swappable_with<swappable_with_rvalue_ref_to_const_s3 const&&,
560 static_assert(
583 static_assert(
600 static_assert(
602 static_assert(std::swappable_with<union_swap::adl_swappable&,
604 static_assert(std::swappable_with<union_swap::adl_swappable&&,
606 static_assert(std::swappable_with<union_swap::adl_swappable&, int&>);
610 static_assert(
612 static_assert(
614 static_assert(check_swappable_with<std::deque<int>, std::deque<int> >());
615 static_assert(!check_swappable_with<std::deque<int>, std::vector<int> >());
616 static_assert(
618 static_assert(
620 static_assert(check_swappable_with<std::list<int>, std::list<int> >());
621 static_assert(!check_swappable_with<std::list<int>, std::vector<int> >());
623 static_assert(
625 static_assert(!check_swappable_with<std::map<int, void*>, std::vector<int> >());
626 static_assert(check_swappable_with<std::optional<std::vector<int> >,
628 static_assert(!check_swappable_with<std::optional<std::vector<int> >,
630 static_assert(check_swappable_with<std::vector<int>, std::vector<int> >());
631 static_assert(!check_swappable_with<std::vector<int>, int>());
635 static_assert(!check_swappable_with<DeletedMoveCtor, DeletedMoveCtor>());
636 static_assert(!check_swappable_with<ImplicitlyDeletedMoveCtor,
638 static_assert(!check_swappable_with<DeletedMoveAssign, DeletedMoveAssign>());
639 static_assert(!check_swappable_with<ImplicitlyDeletedMoveAssign,
641 static_assert(!check_swappable_with<NonMovable, NonMovable>());
642 static_assert(
644 static_assert(!check_swappable_with<HasANonMovable, HasANonMovable>());
684 static_assert(CheckRegression());