pub trait VisitExt<I: Interner>: TypeVisitable<I> {
fn has_free_vars(&self, interner: I) -> bool { ... }
}Expand description
TypeVisitor extensions.
Provided Methods
sourcefn has_free_vars(&self, interner: I) -> bool
fn has_free_vars(&self, interner: I) -> bool
Check whether there are free (non-bound) variables.