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 [Ty::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.