Macro assert_transitive_impls

macro_rules! assert_transitive_impls {
    ($scalar: ty, $interface: ty, $implementor: ty $(, $transitive: ty)* $(,)?) => { ... };
}

Asserts that all transitive interfaces (the ones implemented by the $interface) are also implemented by the $implementor.