macro_rules! mul_add_assign_impl {
    ($trait_name:ident for $($t:ty)*) => { ... };
}