Function erase_all_generic_params 

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

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