Trait chalk_ir::visit::visitors::VisitExt

pub trait VisitExt<I: Interner>: TypeVisitable<I> {
    // Provided method
    fn has_free_vars(&self, interner: I) -> bool { ... }
}

TypeVisitor extensions.

Provided Methods

fn has_free_vars(&self, interner: I) -> bool

Check whether there are free (non-bound) variables.

Object Safety

This trait is not object safe.

Implementors

impl<T, I: Interner> VisitExt<I> for T

where T: TypeVisitable<I>,