Function refine_generics 

pub fn refine_generics(
    genv: GlobalEnv<'_, '_>,
    def_id: DefId,
    generics: &Generics<'_>,
) -> Generics