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.