Macro assert_impl

macro_rules! assert_impl {
    ($trait:path: $($ty:ty),+) => { ... };
    (!$trait:path: $($ty:ty),+) => { ... };
    ($trait:path: $($ty:ty,)+) => { ... };
    (!$trait:path: $($ty:ty,)+) => { ... };
}