List of all items

Structs

• BoundVar
• Canonical
• CanonicalVarInfo
• CoercePredicate
• ConstVid
• DebruijnIndex
• EffectVid
• ExistentialProjection
• ExistentialTraitRef
• NormalizesTo
• ProjectionPredicate
• SubtypePredicate
• TraitPredicate
• TraitRef
• TypeFlags
• UniverseIndex
• WithInfcx
• canonical::Canonical
• canonical::CanonicalVarInfo
• const_kind::ConstVid
• const_kind::EffectVid
• debug::NoInfcx
• debug::WithInfcx
• flags::TypeFlags
• predicate::CoercePredicate
• predicate::ExistentialProjection
• predicate::ExistentialTraitRef
• predicate::NormalizesTo
• predicate::ProjectionPredicate
• predicate::SubtypePredicate
• predicate::TraitPredicate
• predicate::TraitRef
• ty_info::WithCachedTypeInfo
• ty_kind::FloatVarValue
• ty_kind::FloatVid
• ty_kind::IntVid
• ty_kind::TyVid
• ty_kind::TypeAndMut
• visit::FoundEscapingVars
• visit::FoundFlags
• visit::HasErrorVisitor
• visit::HasEscapingVarsVisitor
• visit::HasTypeFlagsVisitor

Enums

• AliasRelationDirection
• CanonicalTyVarKind
• CanonicalVarKind
• ClauseKind
• ClosureKind
• ConstKind
• ExistentialPredicate
• ImplPolarity
• InferConst
• PredicateKind
• PredicatePolarity
• RegionKind
• Variance
• canonical::CanonicalTyVarKind
• canonical::CanonicalVarKind
• const_kind::ConstKind
• const_kind::InferConst
• predicate::ExistentialPredicate
• predicate::ImplPolarity
• predicate::PredicatePolarity
• predicate_kind::AliasRelationDirection
• predicate_kind::ClauseKind
• predicate_kind::PredicateKind
• region_kind::RegionKind
• ty_kind::AliasKind
• ty_kind::DynKind
• ty_kind::FloatTy
• ty_kind::InferTy
• ty_kind::IntTy
• ty_kind::IntVarValue
• ty_kind::TyKind
• ty_kind::UintTy

Traits

• CollectAndApply
• DebugWithInfcx
• InferCtxtLike
• Interner
• codec::RefDecodable
• codec::TyDecoder
• codec::TyEncoder
• debug::DebugWithInfcx
• fold::FallibleTypeFolder
• fold::TypeFoldable
• fold::TypeFolder
• fold::TypeSuperFoldable
• infcx::InferCtxtLike
• inherent::AliasTy
• inherent::BoundVars
• inherent::Const
• inherent::GenericArgs
• inherent::GenericsOf
• inherent::IntoKind
• inherent::PlaceholderLike
• inherent::Predicate
• inherent::Region
• inherent::Ty
• interner::CollectAndApply
• interner::Interner
• ir_print::IrPrint
• lift::Lift
• visit::Flags
• visit::TypeSuperVisitable
• visit::TypeVisitable
• visit::TypeVisitableExt
• visit::TypeVisitor

Macros

• ir_print::define_debug_via_print
• ir_print::define_display_via_print
• macros::TrivialTypeTraversalImpls

Functions

• debug_bound_var
• region_kind::regionkind_discriminant
• ty_kind::tykind_discriminant

Type Aliases

• fold::Never

Constants

• INNERMOST
• codec::SHORTHAND_OFFSET