Macro static_assertions::assert_impl_any
source · macro_rules! assert_impl_any { ($x:ty: $($t:path),+ $(,)?) => { ... }; }
Expand description
Asserts that the type implements any of the given traits.
See assert_not_impl_any!
for achieving the opposite effect.
§Examples
u8
cannot be converted from u16
, but it can be converted into u16
:
assert_impl_any!(u8: From<u16>, Into<u16>);
The unit type cannot be converted from u8
or u16
, but it does implement
Send
:
assert_impl_any!((): From<u8>, From<u16>, Send);
The following example fails to compile because raw pointers do not implement
Send
or Sync
since they cannot be moved or shared between threads
safely:
ⓘ
assert_impl_any!(*const u8: Send, Sync);