List of all items
Structs
- AliasTerm
- AliasTy
- Binder
- BoundVar
- Canonical
- CanonicalVarInfo
- CanonicalVarValues
- ClosureArgs
- ClosureArgsParts
- CoercePredicate
- ConstVid
- CoroutineArgs
- CoroutineArgsParts
- CoroutineClosureArgs
- CoroutineClosureArgsParts
- CoroutineClosureSignature
- DebruijnIndex
- EarlyBinder
- EarlyBinderIter
- EffectVid
- ExistentialProjection
- ExistentialTraitRef
- FloatVid
- FnSig
- GenSig
- IntVid
- IterInstantiated
- IterInstantiatedCopied
- NormalizesTo
- OpaqueTypeKey
- OutlivesPredicate
- ProjectionPredicate
- RegionVid
- SubtypePredicate
- TraitPredicate
- TraitRef
- TyVid
- TypeAndMut
- TypeFlags
- UnevaluatedConst
- UniverseIndex
- ValidateBoundVars
- WithCachedTypeInfo
- binder::ArgFolder
- binder::Binder
- binder::EarlyBinder
- binder::EarlyBinderIter
- binder::IterInstantiated
- binder::IterInstantiatedCopied
- binder::ValidateBoundVars
- canonical::Canonical
- canonical::CanonicalVarInfo
- canonical::CanonicalVarValues
- const_kind::ConstVid
- const_kind::EffectVid
- const_kind::UnevaluatedConst
- data_structures::Lrc
- data_structures::SsoHashSet
- data_structures::impl_::Lrc
- data_structures::impl_::SsoHashSet
- elaborate::Elaborator
- elaborate::FilterToTraits
- error::ExpectedFound
- fast_reject::DeepRejectCtxt
- flags::TypeFlags
- fold::Shifter
- opaque_ty::OpaqueTypeKey
- outlives::OutlivesCollector
- predicate::AliasTerm
- predicate::CoercePredicate
- predicate::ExistentialProjection
- predicate::ExistentialTraitRef
- predicate::NormalizesTo
- predicate::OutlivesPredicate
- predicate::ProjectionPredicate
- predicate::SubtypePredicate
- predicate::TraitPredicate
- predicate::TraitRef
- region_kind::RegionVid
- search_graph::AvailableDepth
- search_graph::DetachedEntry
- search_graph::GlobalCache
- search_graph::ProvisionalCacheEntry
- search_graph::SearchGraph
- search_graph::StackDepth
- search_graph::StackEntry
- search_graph::global_cache::CacheData
- search_graph::global_cache::CacheEntry
- search_graph::global_cache::GlobalCache
- search_graph::global_cache::QueryData
- search_graph::global_cache::Success
- solve::CacheData
- solve::ExternalConstraintsData
- solve::Goal
- solve::NestedNormalizationGoals
- solve::NoSolution
- solve::PredefinedOpaquesData
- solve::QueryInput
- solve::Response
- solve::inspect::CanonicalGoalEvaluation
- solve::inspect::CanonicalGoalEvaluationStep
- solve::inspect::GoalEvaluation
- solve::inspect::Probe
- solve::inspect::State
- ty_info::WithCachedTypeInfo
- ty_kind::AliasTy
- ty_kind::FloatVid
- ty_kind::FnSig
- ty_kind::IntVid
- ty_kind::TyVid
- ty_kind::TypeAndMut
- ty_kind::closure::ClosureArgs
- ty_kind::closure::ClosureArgsParts
- ty_kind::closure::CoroutineArgs
- ty_kind::closure::CoroutineArgsParts
- ty_kind::closure::CoroutineClosureArgs
- ty_kind::closure::CoroutineClosureArgsParts
- ty_kind::closure::CoroutineClosureSignature
- ty_kind::closure::FoldEscapingRegions
- ty_kind::closure::GenSig
- ty_kind::closure::HasRegionsBoundAt
- visit::FoundEscapingVars
- visit::FoundFlags
- visit::HasErrorVisitor
- visit::HasEscapingVarsVisitor
- visit::HasTypeFlagsVisitor
Enums
- AliasRelationDirection
- AliasTermKind
- AliasTyKind
- BoundConstness
- CanonicalTyVarKind
- CanonicalVarKind
- ClauseKind
- ClosureKind
- ConstKind
- DynKind
- EffectKind
- ExistentialPredicate
- FloatTy
- FloatVarValue
- GenericArgKind
- ImplPolarity
- InferConst
- InferTy
- IntTy
- IntVarValue
- PredicateKind
- PredicatePolarity
- RegionKind
- TermKind
- TyKind
- UintTy
- Variance
- canonical::CanonicalTyVarKind
- canonical::CanonicalVarKind
- const_kind::ConstKind
- const_kind::InferConst
- data_structures::SsoHashMap
- data_structures::impl_::SsoHashMap
- effects::EffectKind
- elaborate::Filter
- error::TypeError
- fast_reject::SimplifiedType
- fast_reject::TreatParams
- generic_arg::GenericArgKind
- generic_arg::TermKind
- lang_items::TraitSolverLangItem
- outlives::Component
- predicate::AliasTermKind
- predicate::BoundConstness
- predicate::ExistentialPredicate
- predicate::ImplPolarity
- predicate::PredicatePolarity
- predicate_kind::AliasRelationDirection
- predicate_kind::ClauseKind
- predicate_kind::PredicateKind
- region_kind::RegionKind
- relate::VarianceDiagInfo
- search_graph::CycleKind
- search_graph::StepResult
- search_graph::UsageKind
- solve::BuiltinImplSource
- solve::CandidateSource
- solve::Certainty
- solve::GoalSource
- solve::MaybeCause
- solve::Reveal
- solve::SolverMode
- solve::inspect::CanonicalGoalEvaluationKind
- solve::inspect::ProbeKind
- solve::inspect::ProbeStep
- ty_kind::AliasTyKind
- ty_kind::DynKind
- ty_kind::FloatTy
- ty_kind::FloatVarValue
- ty_kind::InferTy
- ty_kind::IntTy
- ty_kind::IntVarValue
- ty_kind::TyKind
- ty_kind::UintTy
Traits
- CollectAndApply
- InferCtxtLike
- Interner
- Upcast
- UpcastFrom
- codec::RefDecodable
- codec::TyDecoder
- codec::TyEncoder
- elaborate::Elaboratable
- fold::FallibleTypeFolder
- fold::TypeFoldable
- fold::TypeFolder
- fold::TypeSuperFoldable
- infer_ctxt::InferCtxtLike
- inherent::Abi
- inherent::AdtDef
- inherent::BoundExistentialPredicates
- inherent::BoundVarLike
- inherent::Clause
- inherent::Const
- inherent::DefId
- inherent::ExprConst
- inherent::Features
- inherent::GenericArg
- inherent::GenericArgs
- inherent::GenericsOf
- inherent::IntoKind
- inherent::ParamEnv
- inherent::ParamLike
- inherent::PlaceholderLike
- inherent::Predicate
- inherent::Region
- inherent::Safety
- inherent::SliceLike
- inherent::Term
- inherent::Ty
- inherent::Tys
- interner::CollectAndApply
- interner::Interner
- ir_print::IrPrint
- lift::Lift
- relate::Relate
- relate::TypeRelation
- search_graph::Cx
- search_graph::Delegate
- search_graph::ProofTreeBuilder
- upcast::Upcast
- upcast::UpcastFrom
- visit::Flags
- visit::TypeSuperVisitable
- visit::TypeVisitable
- visit::TypeVisitableExt
- visit::TypeVisitor
Macros
- binder::impl_binder_encode_decode
- ir_print::define_debug_via_print
- ir_print::define_display_via_print
- macros::TrivialTypeTraversalImpls
Functions
- data_structures::ensure_sufficient_stack
- data_structures::impl_::ensure_sufficient_stack
- debug_bound_var
- elaborate::elaborate
- elaborate::elaborate_component_to_clause
- elaborate::supertrait_def_ids
- elaborate::supertraits
- elaborate::transitive_bounds
- fast_reject::simplify_type
- fold::shift_region
- fold::shift_vars
- outlives::compute_alias_components_recursive
- outlives::push_outlives_components
- region_kind::regionkind_discriminant
- relate::relate_args_invariantly
- relate::relate_args_with_variances
- relate::structurally_relate_consts
- relate::structurally_relate_tys
- ty_kind::tykind_discriminant
Type Aliases
- data_structures::HashMap
- data_structures::HashSet
- data_structures::IndexMap
- data_structures::IndexSet
- data_structures::impl_::HashMap
- data_structures::impl_::HashSet
- data_structures::impl_::IndexMap
- data_structures::impl_::IndexSet
- fold::Never
- relate::RelateResult
- solve::CanonicalInput
- solve::CanonicalResponse
- solve::QueryResult
- solve::inspect::CanonicalState