Macro cynic::assert_impl

macro_rules! assert_impl {
    ($type:ty [$($impl_generics: tt)*] [$($where_clause: tt)*]: $($trait:path),+ $(,)?) => { ... };
}

Asserts that the type implements all of the given traits.