Module types_utils

This file groups everything which is linked to implementations about crate::types

Structs

CurrentItem

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

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).

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.