rust assert_impl!

assert_impl.rs

macro_rules! assert_impl {
    ($typ:ty, $($trait:path),*$(,)?) => {
        {
            const fn _assert_impl<T>()
            where
                T: $($trait +)* ?Sized,
            {}
            _assert_impl::<$typ>();
        }
    }
}

macro_rules! assert_impl_all {
    ($($typ:ty),* : $($tt:tt)*) => {{
        const fn _assert_impl<T>() where T: $($tt)*, {}
        $(_assert_impl::<$typ>();)*
    }};
}

#[derive(Copy, Clone, Eq, PartialEq)]
struct MyStruct;

assert_impl!(MyStruct, Copy, Clone, Eq, PartialEq);
assert_impl_all!(u8, i32, bool, isize : Clone + Eq + PartialEq);