Trait darling_core::usage::UsesTypeParams

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

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.

Implementations on Foreign Types

impl UsesTypeParams for ()

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

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>

impl UsesTypeParams for AngleBracketedGenericArguments

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 Binding

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 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 ParenthesizedGenericArguments

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

impl UsesTypeParams for PredicateEq

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 QSelf

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 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 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 TypeTuple

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 Variant

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

impl UsesTypeParams for Data

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

impl UsesTypeParams for Fields

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 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 TypePath

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

impl UsesTypeParams for Path

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 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 TypeParamBound

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

Implementors

• impl<V: UsesTypeParams, F: UsesTypeParams> UsesTypeParams for darling_core::ast::Data<V, F>
• impl<T: UsesTypeParams> UsesTypeParams for darling_core::ast::Fields<T>
• impl<'a> UsesTypeParams for darling_core::codegen::Field<'a>
• impl<'a> UsesTypeParams for darling_core::codegen::Variant<'a>
• impl UsesTypeParams for Ignored