pub fn filter_generics<'a>(
base: Generics,
usage: impl Iterator<Item = Usage<'a>>,
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 and
expressions (usage), and excluding those which are already in scope
(context).