List of all items

Structs

• AliasTerm
• BoundVar
• Canonical
• CanonicalVarInfo
• CanonicalVarValues
• CoercePredicate
• ConstVid
• DebruijnIndex
• EffectVid
• ExistentialProjection
• ExistentialTraitRef
• NormalizesTo
• ProjectionPredicate
• SubtypePredicate
• TraitPredicate
• TraitRef
• TypeFlags
• UnevaluatedConst
• UniverseIndex
• WithInfcx
• canonical::Canonical
• canonical::CanonicalVarInfo
• canonical::CanonicalVarValues
• const_kind::ConstVid
• const_kind::EffectVid
• const_kind::UnevaluatedConst
• debug::NoInfcx
• debug::WithInfcx
• flags::TypeFlags
• predicate::AliasTerm
• predicate::CoercePredicate
• predicate::ExistentialProjection
• predicate::ExistentialTraitRef
• predicate::NormalizesTo
• predicate::ProjectionPredicate
• predicate::SubtypePredicate
• predicate::TraitPredicate
• predicate::TraitRef
• solve::Goal
• solve::NoSolution
• solve::QueryInput
• solve::Response
• solve::inspect::AddedGoalsEvaluation
• solve::inspect::CanonicalGoalEvaluation
• solve::inspect::GoalEvaluation
• solve::inspect::GoalEvaluationStep
• solve::inspect::Probe
• solve::inspect::State
• solve::inspect::format::Indentor
• solve::inspect::format::ProofTreeFormatter
• ty_info::WithCachedTypeInfo
• ty_kind::AliasTy
• ty_kind::FloatVarValue
• ty_kind::FloatVid
• ty_kind::FnSig
• ty_kind::IntVid
• ty_kind::TyVid
• ty_kind::TypeAndMut
• visit::FoundEscapingVars
• visit::FoundFlags
• visit::HasErrorVisitor
• visit::HasEscapingVarsVisitor
• visit::HasTypeFlagsVisitor

Enums

• AliasRelationDirection
• AliasTermKind
• CanonicalTyVarKind
• CanonicalVarKind
• ClauseKind
• ClosureKind
• ConstKind
• ExistentialPredicate
• GenericArgKind
• ImplPolarity
• InferConst
• PredicateKind
• PredicatePolarity
• RegionKind
• Variance
• canonical::CanonicalTyVarKind
• canonical::CanonicalVarKind
• const_kind::ConstKind
• const_kind::InferConst
• generic_arg::GenericArgKind
• predicate::AliasTermKind
• predicate::ExistentialPredicate
• predicate::ImplPolarity
• predicate::PredicatePolarity
• predicate_kind::AliasRelationDirection
• predicate_kind::ClauseKind
• predicate_kind::PredicateKind
• region_kind::RegionKind
• solve::BuiltinImplSource
• solve::CandidateSource
• solve::Certainty
• solve::GoalSource
• solve::MaybeCause
• solve::inspect::CanonicalGoalEvaluationKind
• solve::inspect::GoalEvaluationKind
• solve::inspect::ProbeKind
• solve::inspect::ProbeStep
• solve::inspect::format::IndentorState
• ty_kind::AliasTyKind
• 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
• Upcast
• UpcastFrom
• codec::RefDecodable
• codec::TyDecoder
• codec::TyEncoder
• debug::DebugWithInfcx
• fold::FallibleTypeFolder
• fold::TypeFoldable
• fold::TypeFolder
• fold::TypeSuperFoldable
• infcx::InferCtxtLike
• inherent::Abi
• inherent::BoundVarLike
• inherent::BoundVars
• inherent::Const
• inherent::GenericArgs
• inherent::GenericsOf
• inherent::IntoKind
• inherent::PlaceholderLike
• inherent::Predicate
• inherent::Region
• inherent::Safety
• inherent::Ty
• inherent::Tys
• interner::CollectAndApply
• interner::Interner
• ir_print::IrPrint
• lift::Lift
• upcast::Upcast
• upcast::UpcastFrom
• 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
• solve::CanonicalInput
• solve::CanonicalResponse
• solve::QueryResult
• solve::inspect::CanonicalState

Constants

• INNERMOST
• codec::SHORTHAND_OFFSET