Module substitute 

Structs

CurrentItem

Dummy item identifier that represents the current item when not ambiguous.

GenericsMismatch

ItemBinder

A value of type T bound by the generic parameters of item item. Used when dealing with multiple items at a time, to ensure we don’t mix up generics.

SubstVisitor 🔒

Visitor for the TyVisitable::substitute function. This substitutes variables bound at the level where we start to substitute (level 0).

Substituted

A value of type T applied to some GenericArgs, except we havent applied them yet to avoid a deep clone.

Traits

TyVisitable

Types that are involved at the type-level and may be substituted around.

VarsVisitor

Visitor for type-level variables. Used to visit the variables contained in a value, as seen from the outside of the value. This means that any variable bound inside the value will be skipped, and all the seen De Bruijn indices will count from the outside of the value. The returned value, if any, will be put in place of the variable.