Trait IsDependentType 

pub trait IsDependentType<'db> {
    // Required method
    fn is_dependent_type(
        &self,
        db: &'db dyn Database,
        identifiers: &[SmolStrId<'db>],
    ) -> bool;
}

Helper trait for check syntactically if a type is dependent on a given identifier.

Required Methods

fn is_dependent_type( &self, db: &'db dyn Database, identifiers: &[SmolStrId<'db>], ) -> bool

Returns true if self is dependent on identifier in an internal type. For example given identifier T will return true for: T, Array<T>, Array<Array<T>>, (T, felt252). Does not resolve paths, type aliases or named generics.

Implementors

impl<'a> IsDependentType<'a> for Expr<'a>

impl<'a> IsDependentType<'a> for ExprPath<'a>