struct FindFreeVarsVisitor<I: Interner> {
    interner: I,
}

Fields

interner: I

Trait Implementations

The “break type” of the visitor, often (). It represents the result the visitor yields when it stops visiting. Read more

Creates a dyn value from this visitor. Unfortunately, this must be added manually to each impl of visitor; it permits the default implements below to create a &mut dyn TypeVisitor from Self without knowing what Self is (by invoking this method). Effectively, this limits impls of visitor to types for which we are able to create a dyn value (i.e., not [T] types). Read more

Gets the visitor’s interner.

Invoked for BoundVar instances that are not bound within the type being visited over: Read more

Top-level callback: invoked for each Ty<I> that is encountered when visiting. By default, invokes super_visit_with, which will in turn invoke the more specialized visiting methods below, like visit_free_var. Read more

Top-level callback: invoked for each Lifetime<I> that is encountered when visiting. By default, invokes super_visit_with, which will in turn invoke the more specialized visiting methods below, like visit_free_var. Read more

Top-level callback: invoked for each Const<I> that is encountered when visiting. By default, invokes super_visit_with, which will in turn invoke the more specialized visiting methods below, like visit_free_var. Read more

Invoked for every program clause. By default, recursively visits the goals contents.

Invoked for every goal. By default, recursively visits the goals contents.

Invoked for each domain goal.

If overridden to return true, then visiting will panic if a free variable is encountered. This should be done if free type/lifetime/const variables are not expected. Read more

If overridden to return true, we will panic when a free placeholder type/lifetime is encountered. Read more

Invoked for each occurrence of a placeholder type; these are used when we instantiate binders universally. Read more

Invoked for each where clause.

If overridden to return true, inference variables will trigger panics when visited. Used when inference variables are unexpected. Read more

Invoked for each occurrence of a inference type; these are used when we instantiate binders universally. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Cast a value to type U using CastTo.

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.