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