Trait darling_core::usage::UsesTypeParams

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

    // Provided method
    fn uses_type_params_cloned(
        &self,
        options: &Options,
        type_set: &IdentSet
    ) -> IdentSet { ... }
}

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 IdentSet ) -> IdentRefSet<'a>

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: &IdentSet ) -> IdentSet

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

Implementations on Foreign Types

impl UsesTypeParams for Fields

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for Data

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for TypeParamBound

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for WherePredicate

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for GenericArgument

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for PathArguments

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for ReturnType

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for Type

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for ()

fn uses_type_params<'a>( &self, _options: &Options, _type_set: &'a IdentSet ) -> IdentRefSet<'a>

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 IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for Field

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for FieldsNamed

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for Variant

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for DataEnum

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for DataStruct

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for DataUnion

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for PredicateType

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TraitBound

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for AngleBracketedGenericArguments

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for AssocType

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for Constraint

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for ParenthesizedGenericArguments

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for Path

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for QSelf

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for BareFnArg

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypeArray

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypeBareFn

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypeGroup

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypeImplTrait

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypeParen

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypePath

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl UsesTypeParams for TypePtr

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypeReference

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypeSlice

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypeTraitObject

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

impl UsesTypeParams for TypeTuple

fn uses_type_params<'gen>( &self, options: &Options, type_set: &'gen IdentSet ) -> IdentRefSet<'gen>

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

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

impl<T: UsesTypeParams> UsesTypeParams for Vec<T>

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

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

fn uses_type_params<'a>( &self, options: &Options, type_set: &'a IdentSet ) -> IdentRefSet<'a>

Implementors

impl UsesTypeParams for Ignored

impl<T: UsesTypeParams> UsesTypeParams for darling_core::ast::Fields<T>

impl<V: UsesTypeParams, F: UsesTypeParams> UsesTypeParams for darling_core::ast::Data<V, F>