Lines Matching full:to
28 template <typename From, typename To>
31 static_assert(!std::derived_from<From*, To>); in CheckNotDerivedFromPointer()
32 static_assert(!std::derived_from<From*, const To>); in CheckNotDerivedFromPointer()
33 static_assert(!std::derived_from<From*, volatile To>); in CheckNotDerivedFromPointer()
34 static_assert(!std::derived_from<From*, const volatile To>); in CheckNotDerivedFromPointer()
36 if constexpr (!std::same_as<To, void>) { in CheckNotDerivedFromPointer()
37 static_assert(!std::derived_from<From*, To&>); in CheckNotDerivedFromPointer()
38 static_assert(!std::derived_from<From*, const To&>); in CheckNotDerivedFromPointer()
39 static_assert(!std::derived_from<From*, volatile To&>); in CheckNotDerivedFromPointer()
40 static_assert(!std::derived_from<From*, const volatile To&>); in CheckNotDerivedFromPointer()
42 static_assert(!std::derived_from<From*, To&&>); in CheckNotDerivedFromPointer()
43 static_assert(!std::derived_from<From*, const To&&>); in CheckNotDerivedFromPointer()
44 static_assert(!std::derived_from<From*, volatile To&&>); in CheckNotDerivedFromPointer()
45 static_assert(!std::derived_from<From*, const volatile To&&>); in CheckNotDerivedFromPointer()
47 static_assert(!std::derived_from<const From*, To&>); in CheckNotDerivedFromPointer()
48 static_assert(!std::derived_from<const From*, const To&>); in CheckNotDerivedFromPointer()
49 static_assert(!std::derived_from<const From*, volatile To&>); in CheckNotDerivedFromPointer()
50 static_assert(!std::derived_from<const From*, const volatile To&>); in CheckNotDerivedFromPointer()
52 static_assert(!std::derived_from<const From*, To&&>); in CheckNotDerivedFromPointer()
53 static_assert(!std::derived_from<const From*, const To&&>); in CheckNotDerivedFromPointer()
54 static_assert(!std::derived_from<const From*, volatile To&&>); in CheckNotDerivedFromPointer()
55 static_assert(!std::derived_from<const From*, const volatile To&&>); in CheckNotDerivedFromPointer()
57 static_assert(!std::derived_from<volatile From*, To&>); in CheckNotDerivedFromPointer()
58 static_assert(!std::derived_from<volatile From*, const To&>); in CheckNotDerivedFromPointer()
59 static_assert(!std::derived_from<volatile From*, volatile To&>); in CheckNotDerivedFromPointer()
60 static_assert(!std::derived_from<volatile From*, const volatile To&>); in CheckNotDerivedFromPointer()
62 static_assert(!std::derived_from<volatile From*, To&&>); in CheckNotDerivedFromPointer()
63 static_assert(!std::derived_from<volatile From*, const To&&>); in CheckNotDerivedFromPointer()
64 static_assert(!std::derived_from<volatile From*, volatile To&&>); in CheckNotDerivedFromPointer()
65 static_assert(!std::derived_from<volatile From*, const volatile To&&>); in CheckNotDerivedFromPointer()
67 static_assert(!std::derived_from<const volatile From*, To&>); in CheckNotDerivedFromPointer()
68 static_assert(!std::derived_from<const volatile From*, const To&>); in CheckNotDerivedFromPointer()
69 static_assert(!std::derived_from<const volatile From*, volatile To&>); in CheckNotDerivedFromPointer()
71 !std::derived_from<const volatile From*, const volatile To&>); in CheckNotDerivedFromPointer()
73 static_assert(!std::derived_from<const volatile From*, To&&>); in CheckNotDerivedFromPointer()
74 static_assert(!std::derived_from<const volatile From*, const To&&>); in CheckNotDerivedFromPointer()
75 static_assert(!std::derived_from<const volatile From*, volatile To&&>); in CheckNotDerivedFromPointer()
77 !std::derived_from<const volatile From*, const volatile To&&>); in CheckNotDerivedFromPointer()
80 { // To as pointer in CheckNotDerivedFromPointer()
81 static_assert(!std::derived_from<From, To*>); in CheckNotDerivedFromPointer()
82 static_assert(!std::derived_from<From, const To*>); in CheckNotDerivedFromPointer()
83 static_assert(!std::derived_from<From, volatile To*>); in CheckNotDerivedFromPointer()
84 static_assert(!std::derived_from<From, const volatile To*>); in CheckNotDerivedFromPointer()
87 static_assert(!std::derived_from<From&, To*>); in CheckNotDerivedFromPointer()
88 static_assert(!std::derived_from<From&, const To*>); in CheckNotDerivedFromPointer()
89 static_assert(!std::derived_from<From&, volatile To*>); in CheckNotDerivedFromPointer()
90 static_assert(!std::derived_from<From&, const volatile To*>); in CheckNotDerivedFromPointer()
92 static_assert(!std::derived_from<From&&, To*>); in CheckNotDerivedFromPointer()
93 static_assert(!std::derived_from<From&&, const To*>); in CheckNotDerivedFromPointer()
94 static_assert(!std::derived_from<From&&, volatile To*>); in CheckNotDerivedFromPointer()
95 static_assert(!std::derived_from<From&&, const volatile To*>); in CheckNotDerivedFromPointer()
97 static_assert(!std::derived_from<const From&, To*>); in CheckNotDerivedFromPointer()
98 static_assert(!std::derived_from<const From&, const To*>); in CheckNotDerivedFromPointer()
99 static_assert(!std::derived_from<const From&, volatile To*>); in CheckNotDerivedFromPointer()
100 static_assert(!std::derived_from<const From&, const volatile To*>); in CheckNotDerivedFromPointer()
102 static_assert(!std::derived_from<const From&&, To*>); in CheckNotDerivedFromPointer()
103 static_assert(!std::derived_from<const From&&, const To*>); in CheckNotDerivedFromPointer()
104 static_assert(!std::derived_from<const From&&, volatile To*>); in CheckNotDerivedFromPointer()
105 static_assert(!std::derived_from<const From&&, const volatile To*>); in CheckNotDerivedFromPointer()
107 static_assert(!std::derived_from<volatile From&, To*>); in CheckNotDerivedFromPointer()
108 static_assert(!std::derived_from<volatile From&, const To*>); in CheckNotDerivedFromPointer()
109 static_assert(!std::derived_from<volatile From&, volatile To*>); in CheckNotDerivedFromPointer()
110 static_assert(!std::derived_from<volatile From&, const volatile To*>); in CheckNotDerivedFromPointer()
112 static_assert(!std::derived_from<volatile From&&, To*>); in CheckNotDerivedFromPointer()
113 static_assert(!std::derived_from<volatile From&&, const To*>); in CheckNotDerivedFromPointer()
114 static_assert(!std::derived_from<volatile From&&, volatile To*>); in CheckNotDerivedFromPointer()
115 static_assert(!std::derived_from<volatile From&&, const volatile To*>); in CheckNotDerivedFromPointer()
117 static_assert(!std::derived_from<const volatile From&, To*>); in CheckNotDerivedFromPointer()
118 static_assert(!std::derived_from<const volatile From&, const To*>); in CheckNotDerivedFromPointer()
119 static_assert(!std::derived_from<const volatile From&, volatile To*>); in CheckNotDerivedFromPointer()
121 !std::derived_from<const volatile From&, const volatile To*>); in CheckNotDerivedFromPointer()
123 static_assert(!std::derived_from<const volatile From&&, To*>); in CheckNotDerivedFromPointer()
124 static_assert(!std::derived_from<const volatile From&&, const To*>); in CheckNotDerivedFromPointer()
125 static_assert(!std::derived_from<const volatile From&&, volatile To*>); in CheckNotDerivedFromPointer()
127 !std::derived_from<const volatile From&&, const volatile To*>); in CheckNotDerivedFromPointer()
131 static_assert(!std::derived_from<From*, To*>); in CheckNotDerivedFromPointer()
132 static_assert(!std::derived_from<From*, const To*>); in CheckNotDerivedFromPointer()
133 static_assert(!std::derived_from<From*, volatile To*>); in CheckNotDerivedFromPointer()
134 static_assert(!std::derived_from<From*, const volatile To*>); in CheckNotDerivedFromPointer()
136 static_assert(!std::derived_from<const From*, To*>); in CheckNotDerivedFromPointer()
137 static_assert(!std::derived_from<const From*, const To*>); in CheckNotDerivedFromPointer()
138 static_assert(!std::derived_from<const From*, volatile To*>); in CheckNotDerivedFromPointer()
139 static_assert(!std::derived_from<const From*, const volatile To*>); in CheckNotDerivedFromPointer()
141 static_assert(!std::derived_from<volatile From*, To*>); in CheckNotDerivedFromPointer()
142 static_assert(!std::derived_from<volatile From*, const To*>); in CheckNotDerivedFromPointer()
143 static_assert(!std::derived_from<volatile From*, volatile To*>); in CheckNotDerivedFromPointer()
144 static_assert(!std::derived_from<volatile From*, const volatile To*>); in CheckNotDerivedFromPointer()
146 static_assert(!std::derived_from<const volatile From*, To*>); in CheckNotDerivedFromPointer()
147 static_assert(!std::derived_from<const volatile From*, const To*>); in CheckNotDerivedFromPointer()
148 static_assert(!std::derived_from<const volatile From*, volatile To*>); in CheckNotDerivedFromPointer()
149 static_assert(!std::derived_from<const volatile From*, const volatile To*>); in CheckNotDerivedFromPointer()
152 // From as the return type of a pointer-to-function in CheckNotDerivedFromPointer()
154 static_assert(!std::derived_from<From (*)(), To>); in CheckNotDerivedFromPointer()
155 static_assert(!std::derived_from<From (*)(int), To>); in CheckNotDerivedFromPointer()
158 // To as the return type of a pointer-to-function in CheckNotDerivedFromPointer()
159 if constexpr (!std::is_array_v<To>) { in CheckNotDerivedFromPointer()
160 static_assert(!std::derived_from<From, To (*)()>); in CheckNotDerivedFromPointer()
161 static_assert(!std::derived_from<From, To (*)(double)>); in CheckNotDerivedFromPointer()
164 // Both as the return type of a pointer-to-function in CheckNotDerivedFromPointer()
165 if constexpr (!std::is_array_v<From> && !std::is_array_v<To>) { in CheckNotDerivedFromPointer()
166 static_assert(!std::derived_from<From (*)(), To (*)()>); in CheckNotDerivedFromPointer()
167 static_assert(!std::derived_from<From (*)(int), To (*)(double)>); in CheckNotDerivedFromPointer()
169 { // pointer-to-member in CheckNotDerivedFromPointer()
170 if constexpr (std::is_class_v<From> && !std::same_as<To, void>) { in CheckNotDerivedFromPointer()
171 static_assert(!std::derived_from<To From::*, To>); in CheckNotDerivedFromPointer()
174 if constexpr (std::is_class_v<To> && !std::same_as<From, void>) { in CheckNotDerivedFromPointer()
175 static_assert(!std::derived_from<From To::*, From>); in CheckNotDerivedFromPointer()
178 { // pointer-to-member-functions in CheckNotDerivedFromPointer()
180 static_assert(!std::derived_from<From (From::*)(), To>); in CheckNotDerivedFromPointer()
183 if constexpr (std::is_class_v<To>) { in CheckNotDerivedFromPointer()
184 static_assert(!std::derived_from<To (To::*)(), From>); in CheckNotDerivedFromPointer()
189 template <typename From, typename To>
191 if constexpr (!std::same_as<To, void>) { in CheckNotDerivedFromReference()
192 static_assert(!std::derived_from<From, To&>); in CheckNotDerivedFromReference()
193 static_assert(!std::derived_from<From, const To&>); in CheckNotDerivedFromReference()
194 static_assert(!std::derived_from<From, volatile To&>); in CheckNotDerivedFromReference()
195 static_assert(!std::derived_from<From, const volatile To&>); in CheckNotDerivedFromReference()
197 static_assert(!std::derived_from<From, To&&>); in CheckNotDerivedFromReference()
198 static_assert(!std::derived_from<From, const To&&>); in CheckNotDerivedFromReference()
199 static_assert(!std::derived_from<From, volatile To&&>); in CheckNotDerivedFromReference()
200 static_assert(!std::derived_from<From, const volatile To&&>); in CheckNotDerivedFromReference()
204 static_assert(!std::derived_from<From&, To>); in CheckNotDerivedFromReference()
205 static_assert(!std::derived_from<From&, To>); in CheckNotDerivedFromReference()
206 static_assert(!std::derived_from<From&, To>); in CheckNotDerivedFromReference()
207 static_assert(!std::derived_from<From&, To>); in CheckNotDerivedFromReference()
209 static_assert(!std::derived_from<From&&, To>); in CheckNotDerivedFromReference()
210 static_assert(!std::derived_from<From&&, To>); in CheckNotDerivedFromReference()
211 static_assert(!std::derived_from<From&&, To>); in CheckNotDerivedFromReference()
212 static_assert(!std::derived_from<From&&, To>); in CheckNotDerivedFromReference()
216 if constexpr (!std::same_as<From, void> && !std::same_as<To, void>) { in CheckNotDerivedFromReference()
217 static_assert(!std::derived_from<From&, To&>); in CheckNotDerivedFromReference()
218 static_assert(!std::derived_from<From&, const To&>); in CheckNotDerivedFromReference()
219 static_assert(!std::derived_from<From&, volatile To&>); in CheckNotDerivedFromReference()
220 static_assert(!std::derived_from<From&, const volatile To&>); in CheckNotDerivedFromReference()
222 static_assert(!std::derived_from<From&, To&&>); in CheckNotDerivedFromReference()
223 static_assert(!std::derived_from<From&, const To&&>); in CheckNotDerivedFromReference()
224 static_assert(!std::derived_from<From&, volatile To&&>); in CheckNotDerivedFromReference()
225 static_assert(!std::derived_from<From&, const volatile To&&>); in CheckNotDerivedFromReference()
227 static_assert(!std::derived_from<const From&, To&>); in CheckNotDerivedFromReference()
228 static_assert(!std::derived_from<const From&, const To&>); in CheckNotDerivedFromReference()
229 static_assert(!std::derived_from<const From&, volatile To&>); in CheckNotDerivedFromReference()
230 static_assert(!std::derived_from<const From&, const volatile To&>); in CheckNotDerivedFromReference()
232 static_assert(!std::derived_from<const From&, To&&>); in CheckNotDerivedFromReference()
233 static_assert(!std::derived_from<const From&, const To&&>); in CheckNotDerivedFromReference()
234 static_assert(!std::derived_from<const From&, volatile To&&>); in CheckNotDerivedFromReference()
235 static_assert(!std::derived_from<const From&, const volatile To&&>); in CheckNotDerivedFromReference()
237 static_assert(!std::derived_from<volatile From&, To&>); in CheckNotDerivedFromReference()
238 static_assert(!std::derived_from<volatile From&, const To&>); in CheckNotDerivedFromReference()
239 static_assert(!std::derived_from<volatile From&, volatile To&>); in CheckNotDerivedFromReference()
240 static_assert(!std::derived_from<volatile From&, const volatile To&>); in CheckNotDerivedFromReference()
242 static_assert(!std::derived_from<volatile From&, To&&>); in CheckNotDerivedFromReference()
243 static_assert(!std::derived_from<volatile From&, const To&&>); in CheckNotDerivedFromReference()
244 static_assert(!std::derived_from<volatile From&, volatile To&&>); in CheckNotDerivedFromReference()
245 static_assert(!std::derived_from<volatile From&, const volatile To&&>); in CheckNotDerivedFromReference()
247 static_assert(!std::derived_from<const volatile From&, To&>); in CheckNotDerivedFromReference()
248 static_assert(!std::derived_from<const volatile From&, const To&>); in CheckNotDerivedFromReference()
249 static_assert(!std::derived_from<const volatile From&, volatile To&>); in CheckNotDerivedFromReference()
250 static_assert(!std::derived_from<const volatile From&, const volatile To&>); in CheckNotDerivedFromReference()
252 static_assert(!std::derived_from<const volatile From&, To&&>); in CheckNotDerivedFromReference()
253 static_assert(!std::derived_from<const volatile From&, const To&&>); in CheckNotDerivedFromReference()
254 static_assert(!std::derived_from<const volatile From&, volatile To&&>); in CheckNotDerivedFromReference()
256 !std::derived_from<const volatile From&, const volatile To&&>); in CheckNotDerivedFromReference()
259 static_assert(!std::derived_from<From&&, To&>); in CheckNotDerivedFromReference()
260 static_assert(!std::derived_from<From&&, const To&>); in CheckNotDerivedFromReference()
261 static_assert(!std::derived_from<From&&, volatile To&>); in CheckNotDerivedFromReference()
262 static_assert(!std::derived_from<From&&, const volatile To&>); in CheckNotDerivedFromReference()
264 static_assert(!std::derived_from<From&&, To&&>); in CheckNotDerivedFromReference()
265 static_assert(!std::derived_from<From&&, const To&&>); in CheckNotDerivedFromReference()
266 static_assert(!std::derived_from<From&&, volatile To&&>); in CheckNotDerivedFromReference()
267 static_assert(!std::derived_from<From&&, const volatile To&&>); in CheckNotDerivedFromReference()
269 static_assert(!std::derived_from<const From&&, To&>); in CheckNotDerivedFromReference()
270 static_assert(!std::derived_from<const From&&, const To&>); in CheckNotDerivedFromReference()
271 static_assert(!std::derived_from<const From&&, volatile To&>); in CheckNotDerivedFromReference()
272 static_assert(!std::derived_from<const From&&, const volatile To&>); in CheckNotDerivedFromReference()
274 static_assert(!std::derived_from<const From&&, To&&>); in CheckNotDerivedFromReference()
275 static_assert(!std::derived_from<const From&&, const To&&>); in CheckNotDerivedFromReference()
276 static_assert(!std::derived_from<const From&&, volatile To&&>); in CheckNotDerivedFromReference()
277 static_assert(!std::derived_from<const From&&, const volatile To&&>); in CheckNotDerivedFromReference()
279 static_assert(!std::derived_from<volatile From&&, To&>); in CheckNotDerivedFromReference()
280 static_assert(!std::derived_from<volatile From&&, const To&>); in CheckNotDerivedFromReference()
281 static_assert(!std::derived_from<volatile From&&, volatile To&>); in CheckNotDerivedFromReference()
282 static_assert(!std::derived_from<volatile From&&, const volatile To&>); in CheckNotDerivedFromReference()
284 static_assert(!std::derived_from<volatile From&&, To&&>); in CheckNotDerivedFromReference()
285 static_assert(!std::derived_from<volatile From&&, const To&&>); in CheckNotDerivedFromReference()
286 static_assert(!std::derived_from<volatile From&&, volatile To&&>); in CheckNotDerivedFromReference()
287 static_assert(!std::derived_from<volatile From&&, const volatile To&&>); in CheckNotDerivedFromReference()
289 static_assert(!std::derived_from<const volatile From&&, To&>); in CheckNotDerivedFromReference()
290 static_assert(!std::derived_from<const volatile From&&, const To&>); in CheckNotDerivedFromReference()
291 static_assert(!std::derived_from<const volatile From&&, volatile To&>); in CheckNotDerivedFromReference()
293 !std::derived_from<const volatile From&&, const volatile To&>); in CheckNotDerivedFromReference()
295 static_assert(!std::derived_from<const volatile From&&, To&&>); in CheckNotDerivedFromReference()
296 static_assert(!std::derived_from<const volatile From&&, const To&&>); in CheckNotDerivedFromReference()
297 static_assert(!std::derived_from<const volatile From&&, volatile To&&>); in CheckNotDerivedFromReference()
299 !std::derived_from<const volatile From&&, const volatile To&&>); in CheckNotDerivedFromReference()
302 // From as the return type of a reference-to-function in CheckNotDerivedFromReference()
304 static_assert(!std::derived_from<From (&)(), To>); in CheckNotDerivedFromReference()
305 static_assert(!std::derived_from<From (&)(int), To>); in CheckNotDerivedFromReference()
307 // To as the return type of a reference-to-function in CheckNotDerivedFromReference()
308 if constexpr (!std::is_array_v<To>) { in CheckNotDerivedFromReference()
309 static_assert(!std::derived_from<From, To (&)()>); in CheckNotDerivedFromReference()
310 static_assert(!std::derived_from<From, To (&)(double)>); in CheckNotDerivedFromReference()
312 // Both as the return type of a reference-to-function in CheckNotDerivedFromReference()
313 if constexpr (!std::is_array_v<From> && !std::is_array_v<To>) { in CheckNotDerivedFromReference()
314 static_assert(!std::derived_from<From (&)(), To (&)()>); in CheckNotDerivedFromReference()
315 static_assert(!std::derived_from<From (&)(int), To (&)(double)>); in CheckNotDerivedFromReference()
319 template <typename From, typename To>
321 static_assert(std::derived_from<From, To>); in CheckDerivedFrom()
323 static_assert(std::derived_from<From, const To>); in CheckDerivedFrom()
324 static_assert(std::derived_from<From, volatile To>); in CheckDerivedFrom()
325 static_assert(std::derived_from<From, const volatile To>); in CheckDerivedFrom()
327 static_assert(std::derived_from<const From, const To>); in CheckDerivedFrom()
328 static_assert(std::derived_from<const From, volatile To>); in CheckDerivedFrom()
329 static_assert(std::derived_from<const From, const volatile To>); in CheckDerivedFrom()
331 static_assert(std::derived_from<volatile From, const To>); in CheckDerivedFrom()
332 static_assert(std::derived_from<volatile From, volatile To>); in CheckDerivedFrom()
333 static_assert(std::derived_from<volatile From, const volatile To>); in CheckDerivedFrom()
335 static_assert(std::derived_from<const volatile From, const To>); in CheckDerivedFrom()
336 static_assert(std::derived_from<const volatile From, volatile To>); in CheckDerivedFrom()
337 static_assert(std::derived_from<const volatile From, const volatile To>); in CheckDerivedFrom()
339 CheckNotDerivedFromPointer<From, To>(); in CheckDerivedFrom()
340 CheckNotDerivedFromReference<From, To>(); in CheckDerivedFrom()
343 template <typename From, typename To>
345 static_assert(!std::derived_from<From, To>); in CheckNotDerivedFrom()
347 static_assert(!std::derived_from<From, const To>); in CheckNotDerivedFrom()
348 static_assert(!std::derived_from<From, volatile To>); in CheckNotDerivedFrom()
349 static_assert(!std::derived_from<From, const volatile To>); in CheckNotDerivedFrom()
351 static_assert(!std::derived_from<const From, const To>); in CheckNotDerivedFrom()
352 static_assert(!std::derived_from<const From, volatile To>); in CheckNotDerivedFrom()
353 static_assert(!std::derived_from<const From, const volatile To>); in CheckNotDerivedFrom()
355 static_assert(!std::derived_from<volatile From, const To>); in CheckNotDerivedFrom()
356 static_assert(!std::derived_from<volatile From, volatile To>); in CheckNotDerivedFrom()
357 static_assert(!std::derived_from<volatile From, const volatile To>); in CheckNotDerivedFrom()
359 static_assert(!std::derived_from<const volatile From, const To>); in CheckNotDerivedFrom()
360 static_assert(!std::derived_from<const volatile From, volatile To>); in CheckNotDerivedFrom()
361 static_assert(!std::derived_from<const volatile From, const volatile To>); in CheckNotDerivedFrom()
363 CheckNotDerivedFromPointer<From, To>(); in CheckNotDerivedFrom()
364 CheckNotDerivedFromReference<From, To>(); in CheckNotDerivedFrom()