Function generics_util::filter_generics

pub fn filter_generics<'a>(
    base: Generics,
    usage: impl Iterator<Item = &'a Type>,
    context: impl Iterator<Item = &'a Generics>
) -> Generics

Creates a new Generics object containing only the parameters which are used (including transitively) anywhere in the given sequence of types (usage), and excluding those which are already in scope (context).