Module binder 

Re-exports

use std::fmt; 🔒

use std::hash::Hash; 🔒

use std::hash::Hash; 🔒

use std::marker::PhantomData; 🔒

use std::ops::ControlFlow; 🔒

use std::ops::Deref; 🔒

use derive_where::derive_where; 🔒

use rustc_macros::Decodable_NoContext; 🔒

use rustc_macros::Encodable_NoContext; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::StableHash_NoContext; 🔒

use rustc_type_ir_macros::GenericTypeVisitable; 🔒

use rustc_type_ir_macros::Lift_Generic; 🔒

use rustc_type_ir_macros::TypeFoldable_Generic; 🔒

use rustc_type_ir_macros::TypeVisitable_Generic; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::data_structures::SsoHashSet; 🔒

use crate::fold::FallibleTypeFolder; 🔒

use crate::fold::TypeFoldable; 🔒

use crate::fold::TypeFolder; 🔒

use crate::fold::TypeSuperFoldable; 🔒

use crate::visit::Flags; 🔒

use crate::visit::TypeSuperVisitable; 🔒

use crate::visit::TypeVisitable; 🔒

use crate::visit::TypeVisitableExt; 🔒

use crate::visit::TypeVisitor; 🔒

use crate as ty; 🔒

use crate::Const; 🔒

use crate::DebruijnIndex; 🔒

use crate::Interner; 🔒

use crate::PredicateProxy; 🔒

use crate::Region; 🔒

use crate::UniverseIndex; 🔒

use crate::Unnormalized; 🔒

use crate::inherent::*; 🔒

Macros

generate 🔒

Structs

ArgFolder 🔒

Binder

Binder is a binder for higher-ranked lifetimes or types. It is part of the compiler’s representation for things like for<'a> Fn(&'a isize) (which would be represented by the type PolyTraitRef == Binder<I, TraitRef>).

BoundConst

BoundRegion

BoundTy

EarlyBinder

Similar to Binder except that it tracks early bound generics, i.e. struct Foo<T>(T) needs T instantiated immediately. This type primarily exists to avoid forgetting to call instantiate.

EarlyBinderIter

IterIdentityCopied

IterInstantiated

IterInstantiatedCopied

Placeholder

The “placeholder index” fully defines a placeholder region, type, or const. Placeholders are identified by both a universe, as well as a name residing within that universe. Distinct bound regions/types/consts within the same universe simply have an unknown relationship to one

ValidateBoundVars

Enums

BoundRegionKind

BoundTyKind

BoundVarIndexKind

Okay, we do something fun for Bound types/regions/consts: Specifically, we distinguish between canonically bound things and for<> bound things. And, really, it comes down to caching during canonicalization and instantiation.

BoundVariableKind

Type Aliases

PlaceholderConst

PlaceholderRegion

PlaceholderType