Macro impl_transformed_widening 

macro_rules! impl_transformed_widening {
    ($source:ty => $target:ty) => { ... };
}