pub fn filter_generics<'a>(
base: Generics,
usage: impl Iterator<Item = &'a Type>,
context: impl Iterator<Item = &'a Generics>,
) -> GenericsExpand description
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).