Code shared from the Rust Playground

playground.rs

trait Cast<T>{}

macro_rules! cartesian_producs_of_impls {
    ( [ $($row:ty),* ][ $($col:ty),* ] )=>{ 
        cartesian_producs_of_impls!{inner 
            state() 
            row[$($row),*] 
            col[$($col),*]
        }
    };
    (inner state($($tokens:tt)*) row[] col[ $($col:ty),* ] )=>{
        $($tokens)*
    };
    (inner 
        state($($tokens:tt)*) 
        row[ $first_one:ty $(,$rem:ty)* ] 
        col[ $($col:ty),* ] 
    )=>{
        cartesian_producs_of_impls!{inner
            state( 
                $($tokens)* 

                $( impl Cast<$first_one> for $col{} )*
            )
            row[$($rem),*]
            col[$($col),*]
        }
    };
}


cartesian_producs_of_impls!{
    [u8,u16,u32]
    [u8,u16,u32]
}