Trait darling::usage::UsesTypeParams

pub trait UsesTypeParams {
    // Required method
    fn uses_type_params<'a>(
        &self,
        options: &Options,
        type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>>
    ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>;

    // Provided method
    fn uses_type_params_cloned(
        &self,
        options: &Options,
        type_set: &HashSet<Ident, BuildHasherDefault<FnvHasher>>
    ) -> HashSet<Ident, BuildHasherDefault<FnvHasher>> { ... }
}

Searcher for finding type params in a syntax tree. This can be used to determine if a given type parameter needs to be bounded in a generated impl.

Required Methods

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

Returns the subset of the queried type parameters that are used by the implementing syntax element.

This method only accounts for direct usage by the element; indirect usage via bounds or where predicates are not detected.

Provided Methods

fn uses_type_params_cloned( &self, options: &Options, type_set: &HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<Ident, BuildHasherDefault<FnvHasher>>

Find all type params using uses_type_params, then clone the found values and return the set.

Implementations on Foreign Types

impl UsesTypeParams for FieldsNamed

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeArray

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypePtr

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeGroup

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for ParenthesizedGenericArguments

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for PathArguments

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for Variant

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for GenericArgument

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for Data

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for QSelf

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for DataStruct

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeReference

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for ()

fn uses_type_params<'a>( &self, _options: &Options, _type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for PredicateEq

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for PredicateType

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for ReturnType

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeParen

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TraitBound

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl<T> UsesTypeParams for Option<T>where T: UsesTypeParams,

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeTuple

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl<T> UsesTypeParams for Vec<T, Global>where T: UsesTypeParams,

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl<T, U> UsesTypeParams for Punctuated<T, U>where T: UsesTypeParams,

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypePath

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeSlice

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeTraitObject

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for Field

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeBareFn

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeParamBound

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for WherePredicate

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for Ident

Check if an Ident exactly matches one of the sought-after type parameters.

fn uses_type_params<'a>( &self, _options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for BareFnArg

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for TypeImplTrait

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for Fields

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for AngleBracketedGenericArguments

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for DataUnion

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for Constraint

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for Type

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for Path

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'a Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for Binding

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

impl UsesTypeParams for DataEnum

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen HashSet<Ident, BuildHasherDefault<FnvHasher>> ) -> HashSet<&'gen Ident, BuildHasherDefault<FnvHasher>>

Implementors

impl UsesTypeParams for Ignored

impl<T> UsesTypeParams for darling::ast::Fields<T>where T: UsesTypeParams,

impl<V, F> UsesTypeParams for darling::ast::Data<V, F>where V: UsesTypeParams, F: UsesTypeParams,