pub(crate) fn conv_generics( genv: GlobalEnv<'_, '_>, generics: &Generics<'_>, def_id: MaybeExternId, is_trait: bool, ) -> Generics