Trait chalk_ir::visit::visitors::VisitExt[−][src]

pub trait VisitExt<I: Interner>: Visit<I> {
    fn has_free_vars(&self, interner: &I) -> bool { ... }
}
Expand description

Visitor extensions.

Provided methods

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

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

Implementors

impl<T, I: Interner> VisitExt<I> for T where
    T: Visit<I>, [src]