Function refine_generics

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