Macro UpcastDef 

macro_rules! UpcastDef {
    ($A:ty, $B:ty) => { ... };
    ($A:ty, $B:ty, $($C: ty),*) => { ... };
}