Function erase_all_generic_params 

pub(crate) fn erase_all_generic_params(
    ty: &Type,
    generic_names: &[Ident],
) -> Type

Erases all generic type parameters from a type, replacing each with Datum<'a>.