Lines Matching refs:static_assert

22   static_assert(std::common_with<T, U&> == result);
23   static_assert(std::common_with<T, const U&> == result);
24   static_assert(std::common_with<T, volatile U&> == result);
25   static_assert(std::common_with<T, const volatile U&> == result);
26   static_assert(std::common_with<T, U&&> == result);
27   static_assert(std::common_with<T, const U&&> == result);
28   static_assert(std::common_with<T, volatile U&&> == result);
29   static_assert(std::common_with<T, const volatile U&&> == result);
30   static_assert(std::common_with<T&, U&&> == result);
31   static_assert(std::common_with<T&, const U&&> == result);
32   static_assert(std::common_with<T&, volatile U&&> == result);
33   static_assert(std::common_with<T&, const volatile U&&> == result);
34   static_assert(std::common_with<const T&, U&&> == result);
35   static_assert(std::common_with<const T&, const U&&> == result);
36   static_assert(std::common_with<const T&, volatile U&&> == result);
37   static_assert(std::common_with<const T&, const volatile U&&> == result);
38   static_assert(std::common_with<volatile T&, U&&> == result);
39   static_assert(std::common_with<volatile T&, const U&&> == result);
40   static_assert(std::common_with<volatile T&, volatile U&&> == result);
41   static_assert(std::common_with<volatile T&, const volatile U&&> == result);
42   static_assert(std::common_with<const volatile T&, U&&> == result);
43   static_assert(std::common_with<const volatile T&, const U&&> == result);
44   static_assert(std::common_with<const volatile T&, volatile U&&> == result);
45   static_assert(std::common_with<const volatile T&, const volatile U&&> ==
58 static_assert(std::common_with<void, void>);
59 static_assert(CheckCommonWith<int, int>());
60 static_assert(CheckCommonWith<int, long>());
61 static_assert(CheckCommonWith<int, unsigned char>());
63 static_assert(CheckCommonWith<int, __int128_t>());
65 static_assert(CheckCommonWith<int, double>());
68 static_assert(CheckCommonWith<int[5], int[5]>());
71 static_assert(CheckCommonWith<int*, int*>());
72 static_assert(CheckCommonWith<int*, const int*>());
73 static_assert(CheckCommonWith<int*, volatile int*>());
74 static_assert(CheckCommonWith<int*, const volatile int*>());
75 static_assert(CheckCommonWith<const int*, const int*>());
76 static_assert(CheckCommonWith<const int*, volatile int*>());
77 static_assert(CheckCommonWith<const int*, const volatile int*>());
78 static_assert(CheckCommonWith<volatile int*, const int*>());
79 static_assert(CheckCommonWith<volatile int*, volatile int*>());
80 static_assert(CheckCommonWith<volatile int*, const volatile int*>());
81 static_assert(CheckCommonWith<const volatile int*, const int*>());
82 static_assert(CheckCommonWith<const volatile int*, volatile int*>());
83 static_assert(CheckCommonWith<const volatile int*, const volatile int*>());
85 static_assert(CheckCommonWith<int (*)(), int (*)()>());
86 static_assert(CheckCommonWith<int (*)(), int (*)() noexcept>());
87 static_assert(CheckCommonWith<int (&)(), int (&)()>());
88 static_assert(CheckCommonWith<int (&)(), int (&)() noexcept>());
89 static_assert(CheckCommonWith<int (&)(), int (*)()>());
90 static_assert(CheckCommonWith<int (&)(), int (*)() noexcept>());
93 static_assert(CheckCommonWith<int S::*, int S::*>());
94 static_assert(CheckCommonWith<int S::*, const int S::*>());
95 static_assert(CheckCommonWith<int (S::*)(), int (S::*)()>());
96 static_assert(CheckCommonWith<int (S::*)(), int (S::*)() noexcept>());
97 static_assert(CheckCommonWith<int (S::*)() const, int (S::*)() const>());
98 static_assert(
100 static_assert(CheckCommonWith<int (S::*)() volatile, int (S::*)() volatile>());
101 static_assert(
103 static_assert(CheckCommonWith<int (S::*)() const volatile,
105 static_assert(CheckCommonWith<int (S::*)() const volatile,
109 static_assert(!CheckCommonWith<double, float*>());
110 static_assert(!CheckCommonWith<int, int[5]>());
111 static_assert(!CheckCommonWith<int*, long*>());
112 static_assert(!CheckCommonWith<int*, unsigned int*>());
113 static_assert(!CheckCommonWith<int (*)(), int (*)(int)>());
114 static_assert(!CheckCommonWith<int S::*, float S::*>());
115 static_assert(!CheckCommonWith<int (S::*)(), int (S::*)() const>());
116 static_assert(!CheckCommonWith<int (S::*)(), int (S::*)() volatile>());
117 static_assert(!CheckCommonWith<int (S::*)(), int (S::*)() const volatile>());
118 static_assert(!CheckCommonWith<int (S::*)() const, int (S::*)() volatile>());
119 static_assert(
121 static_assert(
128 static_assert(!CheckCommonWith<T, int>());
129 static_assert(!CheckCommonWith<int, T>());
130 static_assert(!CheckCommonWith<T, int[10]>());
131 static_assert(!CheckCommonWith<T[10], int>());
132 static_assert(!CheckCommonWith<T*, int*>());
133 static_assert(!CheckCommonWith<T*, const int*>());
134 static_assert(!CheckCommonWith<T*, volatile int*>());
135 static_assert(!CheckCommonWith<T*, const volatile int*>());
136 static_assert(!CheckCommonWith<const T*, int*>());
137 static_assert(!CheckCommonWith<volatile T*, int*>());
138 static_assert(!CheckCommonWith<const volatile T*, int*>());
139 static_assert(!CheckCommonWith<const T*, const int*>());
140 static_assert(!CheckCommonWith<const T*, volatile int*>());
141 static_assert(!CheckCommonWith<const T*, const volatile int*>());
142 static_assert(!CheckCommonWith<const T*, const int*>());
143 static_assert(!CheckCommonWith<volatile T*, const int*>());
144 static_assert(!CheckCommonWith<const volatile T*, const int*>());
145 static_assert(!CheckCommonWith<volatile T*, const int*>());
146 static_assert(!CheckCommonWith<volatile T*, volatile int*>());
147 static_assert(!CheckCommonWith<volatile T*, const volatile int*>());
148 static_assert(!CheckCommonWith<const T*, volatile int*>());
149 static_assert(!CheckCommonWith<volatile T*, volatile int*>());
150 static_assert(!CheckCommonWith<const volatile T*, volatile int*>());
151 static_assert(!CheckCommonWith<const volatile T*, const int*>());
152 static_assert(!CheckCommonWith<const volatile T*, volatile int*>());
153 static_assert(!CheckCommonWith<const volatile T*, const volatile int*>());
154 static_assert(!CheckCommonWith<const T*, const volatile int*>());
155 static_assert(!CheckCommonWith<volatile T*, const volatile int*>());
156 static_assert(!CheckCommonWith<const volatile T*, const volatile int*>());
157 static_assert(!CheckCommonWith<T&, int&>());
158 static_assert(!CheckCommonWith<T&, const int&>());
159 static_assert(!CheckCommonWith<T&, volatile int&>());
160 static_assert(!CheckCommonWith<T&, const volatile int&>());
161 static_assert(!CheckCommonWith<const T&, int&>());
162 static_assert(!CheckCommonWith<volatile T&, int&>());
163 static_assert(!CheckCommonWith<const volatile T&, int&>());
164 static_assert(!CheckCommonWith<const T&, const int&>());
165 static_assert(!CheckCommonWith<const T&, volatile int&>());
166 static_assert(!CheckCommonWith<const T&, const volatile int&>());
167 static_assert(!CheckCommonWith<const T&, const int&>());
168 static_assert(!CheckCommonWith<volatile T&, const int&>());
169 static_assert(!CheckCommonWith<const volatile T&, const int&>());
170 static_assert(!CheckCommonWith<volatile T&, const int&>());
171 static_assert(!CheckCommonWith<volatile T&, volatile int&>());
172 static_assert(!CheckCommonWith<volatile T&, const volatile int&>());
173 static_assert(!CheckCommonWith<const T&, volatile int&>());
174 static_assert(!CheckCommonWith<volatile T&, volatile int&>());
175 static_assert(!CheckCommonWith<const volatile T&, volatile int&>());
176 static_assert(!CheckCommonWith<const volatile T&, const int&>());
177 static_assert(!CheckCommonWith<const volatile T&, volatile int&>());
178 static_assert(!CheckCommonWith<const volatile T&, const volatile int&>());
179 static_assert(!CheckCommonWith<const T&, const volatile int&>());
180 static_assert(!CheckCommonWith<volatile T&, const volatile int&>());
181 static_assert(!CheckCommonWith<const volatile T&, const volatile int&>());
182 static_assert(!CheckCommonWith<T&, int&&>());
183 static_assert(!CheckCommonWith<T&, const int&&>());
184 static_assert(!CheckCommonWith<T&, volatile int&&>());
185 static_assert(!CheckCommonWith<T&, const volatile int&&>());
186 static_assert(!CheckCommonWith<const T&, int&&>());
187 static_assert(!CheckCommonWith<volatile T&, int&&>());
188 static_assert(!CheckCommonWith<const volatile T&, int&&>());
189 static_assert(!CheckCommonWith<const T&, const int&&>());
190 static_assert(!CheckCommonWith<const T&, volatile int&&>());
191 static_assert(!CheckCommonWith<const T&, const volatile int&&>());
192 static_assert(!CheckCommonWith<const T&, const int&&>());
193 static_assert(!CheckCommonWith<volatile T&, const int&&>());
194 static_assert(!CheckCommonWith<const volatile T&, const int&&>());
195 static_assert(!CheckCommonWith<volatile T&, const int&&>());
196 static_assert(!CheckCommonWith<volatile T&, volatile int&&>());
197 static_assert(!CheckCommonWith<volatile T&, const volatile int&&>());
198 static_assert(!CheckCommonWith<const T&, volatile int&&>());
199 static_assert(!CheckCommonWith<volatile T&, volatile int&&>());
200 static_assert(!CheckCommonWith<const volatile T&, volatile int&&>());
201 static_assert(!CheckCommonWith<const volatile T&, const int&&>());
202 static_assert(!CheckCommonWith<const volatile T&, volatile int&&>());
203 static_assert(!CheckCommonWith<const volatile T&, const volatile int&&>());
204 static_assert(!CheckCommonWith<const T&, const volatile int&&>());
205 static_assert(!CheckCommonWith<volatile T&, const volatile int&&>());
206 static_assert(!CheckCommonWith<const volatile T&, const volatile int&&>());
207 static_assert(!CheckCommonWith<T&&, int&>());
208 static_assert(!CheckCommonWith<T&&, const int&>());
209 static_assert(!CheckCommonWith<T&&, volatile int&>());
210 static_assert(!CheckCommonWith<T&&, const volatile int&>());
211 static_assert(!CheckCommonWith<const T&&, int&>());
212 static_assert(!CheckCommonWith<volatile T&&, int&>());
213 static_assert(!CheckCommonWith<const volatile T&&, int&>());
214 static_assert(!CheckCommonWith<const T&&, const int&>());
215 static_assert(!CheckCommonWith<const T&&, volatile int&>());
216 static_assert(!CheckCommonWith<const T&&, const volatile int&>());
217 static_assert(!CheckCommonWith<const T&&, const int&>());
218 static_assert(!CheckCommonWith<volatile T&&, const int&>());
219 static_assert(!CheckCommonWith<const volatile T&&, const int&>());
220 static_assert(!CheckCommonWith<volatile T&&, const int&>());
221 static_assert(!CheckCommonWith<volatile T&&, volatile int&>());
222 static_assert(!CheckCommonWith<volatile T&&, const volatile int&>());
223 static_assert(!CheckCommonWith<const T&&, volatile int&>());
224 static_assert(!CheckCommonWith<volatile T&&, volatile int&>());
225 static_assert(!CheckCommonWith<const volatile T&&, volatile int&>());
226 static_assert(!CheckCommonWith<const volatile T&&, const int&>());
227 static_assert(!CheckCommonWith<const volatile T&&, volatile int&>());
228 static_assert(!CheckCommonWith<const volatile T&&, const volatile int&>());
229 static_assert(!CheckCommonWith<const T&&, const volatile int&>());
230 static_assert(!CheckCommonWith<volatile T&&, const volatile int&>());
231 static_assert(!CheckCommonWith<const volatile T&&, const volatile int&>());
232 static_assert(!CheckCommonWith<T&&, int&&>());
233 static_assert(!CheckCommonWith<T&&, const int&&>());
234 static_assert(!CheckCommonWith<T&&, volatile int&&>());
235 static_assert(!CheckCommonWith<T&&, const volatile int&&>());
236 static_assert(!CheckCommonWith<const T&&, int&&>());
237 static_assert(!CheckCommonWith<volatile T&&, int&&>());
238 static_assert(!CheckCommonWith<const volatile T&&, int&&>());
239 static_assert(!CheckCommonWith<const T&&, const int&&>());
240 static_assert(!CheckCommonWith<const T&&, volatile int&&>());
241 static_assert(!CheckCommonWith<const T&&, const volatile int&&>());
242 static_assert(!CheckCommonWith<const T&&, const int&&>());
243 static_assert(!CheckCommonWith<volatile T&&, const int&&>());
244 static_assert(!CheckCommonWith<const volatile T&&, const int&&>());
245 static_assert(!CheckCommonWith<volatile T&&, const int&&>());
246 static_assert(!CheckCommonWith<volatile T&&, volatile int&&>());
247 static_assert(!CheckCommonWith<volatile T&&, const volatile int&&>());
248 static_assert(!CheckCommonWith<const T&&, volatile int&&>());
249 static_assert(!CheckCommonWith<volatile T&&, volatile int&&>());
250 static_assert(!CheckCommonWith<const volatile T&&, volatile int&&>());
251 static_assert(!CheckCommonWith<const volatile T&&, const int&&>());
252 static_assert(!CheckCommonWith<const volatile T&&, volatile int&&>());
253 static_assert(!CheckCommonWith<const volatile T&&, const volatile int&&>());
254 static_assert(!CheckCommonWith<const T&&, const volatile int&&>());
255 static_assert(!CheckCommonWith<volatile T&&, const volatile int&&>());
256 static_assert(!CheckCommonWith<const volatile T&&, const volatile int&&>());
275 static_assert(requires {
278 static_assert(requires {
281 static_assert(!std::same_as<std::common_type_t<BadBasicCommonType, int>,
283 static_assert(!CheckCommonWith<BadBasicCommonType, int>());
286 static_assert(!std::convertible_to<DullCommonType, int>);
289 static_assert(!std::convertible_to<DullCommonType, T1>);
301 static_assert(HasValidCommonType<T1, int>());
302 static_assert(!CheckCommonWith<T1, int>());
307 static_assert(requires {
312 static_assert(
325 static_assert(HasValidCommonType<T2, int>());
326 static_assert(!CheckCommonWith<T2, int>());
331 static_assert(requires {
336 static_assert(
349 static_assert(HasValidCommonType<T3, int>());
350 static_assert(!CheckCommonWith<T3, int>());
356 static_assert(requires(T4 t4) {
370 static_assert(HasValidCommonType<T4, int>());
371 static_assert(!CheckCommonWith<T4, int>());
377 static_assert(requires(T5 t5) {
391 static_assert(HasValidCommonType<T5, int>());
392 static_assert(!CheckCommonWith<T5, int>());
511 static_assert(HasValidCommonType<T6, int>());
512 static_assert(!HasCommonReference<const T6&, const int&>());
513 static_assert(!CheckCommonWith<T6, int>());
691 static_assert(HasValidCommonType<T7, int>());
692 static_assert(HasValidCommonType<const T7&, const int&>());
693 static_assert(HasCommonReference<const T7&, const int&>());
694 static_assert(
697 static_assert(!CheckCommonWith<T7, int>());
807 static_assert(CheckCommonWith<CommonWithInt, int>());
941 static_assert(CheckCommonWith<CommonWithIntButRefLong, int>());