generics_util

Function filter_generics

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