List of all items
Structs
- AliasTerm
- AliasTy
- Binder
- BoundConst
- BoundRegion
- BoundTy
- BoundVar
- Canonical
- CanonicalParamEnvCacheEntry
- CanonicalQueryInput
- CanonicalVarValues
- ClosureArgs
- ClosureArgsParts
- CoercePredicate
- ConstVid
- CoroutineArgs
- CoroutineArgsParts
- CoroutineClosureArgs
- CoroutineClosureArgsParts
- CoroutineClosureSignature
- CoroutineWitnessTypes
- DebruijnIndex
- EarlyBinder
- EarlyBinderIter
- ExistentialProjection
- ExistentialTraitRef
- FlagComputation
- FloatVid
- FnHeader
- FnSig
- FnSigTys
- GenSig
- HostEffectPredicate
- IntVid
- IterIdentityCopied
- IterInstantiated
- IterInstantiatedCopied
- NormalizesTo
- OpaqueTypeKey
- OutlivesPredicate
- Placeholder
- ProjectionPredicate
- RegionFolder
- RegionVid
- SubtypePredicate
- TraitPredicate
- TraitRef
- TyVid
- TypeAndMut
- TypeFlags
- UnevaluatedConst
- UniverseIndex
- UnsafeBinderInner
- ValidateBoundVars
- WithCachedTypeInfo
- data_structures::DelayedMap
- data_structures::DelayedSet
- data_structures::NoError
- data_structures::SsoHashMap
- data_structures::SsoHashSet
- elaborate::ClauseWithSupertraitSpan
- elaborate::Elaborator
- elaborate::FilterToTraits
- error::ExpectedFound
- fast_reject::DeepRejectCtxt
- relate::solver_relating::SolverRelating
- search_graph::CandidateHeadUsages
- search_graph::GlobalCache
- search_graph::PathsToNested
- search_graph::SearchGraph
- solve::ExternalConstraintsData
- solve::Goal
- solve::NestedNormalizationGoals
- solve::NoSolution
- solve::QueryInput
- solve::Response
- solve::inspect::GoalEvaluation
- solve::inspect::Probe
- solve::inspect::State
- walk::TypeWalker
Enums
- AliasRelationDirection
- AliasTermKind
- AliasTyKind
- BoundConstness
- BoundRegionKind
- BoundTyKind
- BoundVarIndexKind
- BoundVariableKind
- CanonicalVarKind
- ClauseKind
- ClosureKind
- ConstKind
- ExistentialPredicate
- FloatTy
- FloatVarValue
- GenericArgKind
- ImplPolarity
- InferConst
- InferTy
- IntTy
- IntVarValue
- Movability
- Mutability
- PatternKind
- Pinnedness
- PredicateKind
- PredicatePolarity
- RegionKind
- TermKind
- TyKind
- TypingMode
- UintTy
- ValTreeKind
- Variance
- error::TypeError
- fast_reject::SimplifiedType
- fast_reject::TreatParams
- lang_items::SolverAdtLangItem
- lang_items::SolverLangItem
- lang_items::SolverTraitLangItem
- outlives::Component
- relate::StructurallyRelateAliases
- relate::VarianceDiagInfo
- search_graph::PathKind
- solve::AdtDestructorKind
- solve::AliasBoundKind
- solve::BuiltinImplSource
- solve::CandidatePreferenceMode
- solve::CandidateSource
- solve::Certainty
- solve::GoalSource
- solve::MaybeCause
- solve::OpaqueTypesJank
- solve::ParamEnvSource
- solve::SizedTraitKind
- solve::inspect::ProbeKind
- solve::inspect::ProbeStep
Traits
- CollectAndApply
- FallibleTypeFolder
- Flags
- GenericTypeVisitable
- InferCtxtLike
- Interner
- TypeFoldable
- TypeFolder
- TypeSuperFoldable
- TypeSuperVisitable
- TypeVisitable
- TypeVisitableExt
- TypeVisitor
- Upcast
- UpcastFrom
- VisitorResult
- data_structures::UnifyKey
- data_structures::UnifyValue
- elaborate::Elaboratable
- inherent::Abi
- inherent::AdtDef
- inherent::BoundExistentialPredicates
- inherent::Clause
- inherent::Clauses
- inherent::Const
- inherent::DefId
- inherent::ExprConst
- inherent::Features
- inherent::GenericArg
- inherent::GenericArgs
- inherent::GenericsOf
- inherent::IntoKind
- inherent::OpaqueTypeStorageEntries
- inherent::ParamEnv
- inherent::ParamLike
- inherent::Predicate
- inherent::Region
- inherent::Safety
- inherent::SliceLike
- inherent::Span
- inherent::SpecificDefId
- inherent::Symbol
- inherent::Term
- inherent::Ty
- inherent::Tys
- inherent::ValTree
- inherent::ValueConst
- ir_print::IrPrint
- lift::Lift
- relate::Relate
- relate::TypeRelation
- relate::combine::PredicateEmittingRelation
- relate::solver_relating::RelateExt
- search_graph::Cx
- search_graph::Delegate
Macros
Functions
- data_structures::ensure_sufficient_stack
- debug_bound_var
- elaborate::elaborate
- elaborate::elaborate_outlives_assumptions
- elaborate::supertrait_def_ids
- elaborate::supertraits
- fast_reject::simplify_type
- fold_regions
- may_use_unstable_feature
- outlives::compute_alias_components_recursive
- outlives::push_outlives_components
- relate::combine::combine_ty_args
- relate::combine::super_combine_consts
- relate::combine::super_combine_tys
- relate::relate_args_invariantly
- relate::relate_args_with_variances
- relate::structurally_relate_consts
- relate::structurally_relate_tys
- shift_region
- shift_vars
Type Aliases
- PlaceholderConst
- PlaceholderRegion
- PlaceholderType
- data_structures::HashMap
- data_structures::HashSet
- data_structures::IndexMap
- data_structures::IndexSet
- relate::RelateResult
- solve::CanonicalInput
- solve::CanonicalResponse
- solve::QueryResult
- solve::inspect::CanonicalState