List of all items

Structs

• errors::OpaqueHiddenTypeDiag
• infer::FixupError
• infer::InferCtxt
• infer::InferCtxtBuilder
• infer::InferCtxtInner
• infer::InferOk
• infer::InferenceLiteralEraser
• infer::RegionObligation
• infer::TypeFreshener
• infer::TypeTrace
• infer::at::At
• infer::canonical::CanonicalParamEnvCache
• infer::canonical::OriginalQueryValues
• infer::canonical::QueryRegionConstraints
• infer::canonical::QueryResponse
• infer::canonical::canonicalizer::CanonicalizeAllFreeRegions
• infer::canonical::canonicalizer::CanonicalizeFreeRegionsOtherThanStatic
• infer::canonical::canonicalizer::CanonicalizeQueryResponse
• infer::canonical::canonicalizer::CanonicalizeUserTypeAnnotation
• infer::canonical::canonicalizer::Canonicalizer
• infer::canonical::ir::AliasTerm
• infer::canonical::ir::AliasTy
• infer::canonical::ir::Binder
• infer::canonical::ir::BoundVar
• infer::canonical::ir::Canonical
• infer::canonical::ir::CanonicalQueryInput
• infer::canonical::ir::CanonicalVarInfo
• infer::canonical::ir::CanonicalVarValues
• infer::canonical::ir::ClosureArgs
• infer::canonical::ir::ClosureArgsParts
• infer::canonical::ir::CoercePredicate
• infer::canonical::ir::ConstVid
• infer::canonical::ir::CoroutineArgs
• infer::canonical::ir::CoroutineArgsParts
• infer::canonical::ir::CoroutineClosureArgs
• infer::canonical::ir::CoroutineClosureArgsParts
• infer::canonical::ir::CoroutineClosureSignature
• infer::canonical::ir::DebruijnIndex
• infer::canonical::ir::EarlyBinder
• infer::canonical::ir::EarlyBinderIter
• infer::canonical::ir::ExistentialProjection
• infer::canonical::ir::ExistentialTraitRef
• infer::canonical::ir::FloatVid
• infer::canonical::ir::FnHeader
• infer::canonical::ir::FnSig
• infer::canonical::ir::FnSigTys
• infer::canonical::ir::GenSig
• infer::canonical::ir::HostEffectPredicate
• infer::canonical::ir::IntVid
• infer::canonical::ir::IterIdentityCopied
• infer::canonical::ir::IterInstantiated
• infer::canonical::ir::IterInstantiatedCopied
• infer::canonical::ir::NormalizesTo
• infer::canonical::ir::OpaqueTypeKey
• infer::canonical::ir::OutlivesPredicate
• infer::canonical::ir::ProjectionPredicate
• infer::canonical::ir::RegionVid
• infer::canonical::ir::SubtypePredicate
• infer::canonical::ir::TraitPredicate
• infer::canonical::ir::TraitRef
• infer::canonical::ir::TyVid
• infer::canonical::ir::TypeAndMut
• infer::canonical::ir::TypeFlags
• infer::canonical::ir::UnevaluatedConst
• infer::canonical::ir::UniverseIndex
• infer::canonical::ir::ValidateBoundVars
• infer::canonical::ir::WithCachedTypeInfo
• infer::canonical::ir::data_structures::DelayedMap
• infer::canonical::ir::data_structures::DelayedSet
• infer::canonical::ir::data_structures::Lrc
• infer::canonical::ir::data_structures::SsoHashSet
• infer::canonical::ir::elaborate::ClauseWithSupertraitSpan
• infer::canonical::ir::elaborate::Elaborator
• infer::canonical::ir::elaborate::FilterToTraits
• infer::canonical::ir::error::ExpectedFound
• infer::canonical::ir::fast_reject::DeepRejectCtxt
• infer::canonical::ir::relate::solver_relating::SolverRelating
• infer::canonical::ir::search_graph::GlobalCache
• infer::canonical::ir::search_graph::SearchGraph
• infer::canonical::ir::search_graph::StackDepth
• infer::canonical::ir::solve::ExternalConstraintsData
• infer::canonical::ir::solve::Goal
• infer::canonical::ir::solve::NestedNormalizationGoals
• infer::canonical::ir::solve::NoSolution
• infer::canonical::ir::solve::PredefinedOpaquesData
• infer::canonical::ir::solve::QueryInput
• infer::canonical::ir::solve::Response
• infer::canonical::ir::solve::inspect::CanonicalGoalEvaluation
• infer::canonical::ir::solve::inspect::GoalEvaluation
• infer::canonical::ir::solve::inspect::Probe
• infer::canonical::ir::solve::inspect::State
• infer::free_regions::FreeRegionMap
• infer::free_regions::RegionRelations
• infer::freshen::TypeFreshener
• infer::lexical_region_resolve::LexicalRegionResolutions
• infer::lexical_region_resolve::LexicalResolver
• infer::lexical_region_resolve::RegionAndOrigin
• infer::opaque_types::ConstrainOpaqueTypeRegionVisitor
• infer::opaque_types::OpaqueTypeDecl
• infer::opaque_types::table::OpaqueTypeStorage
• infer::opaque_types::table::OpaqueTypeTable
• infer::outlives::env::OutlivesEnvironment
• infer::outlives::for_liveness::FreeRegionsVisitor
• infer::outlives::obligations::TypeOutlives
• infer::outlives::test_type_match::MatchAgainstHigherRankedOutlives
• infer::outlives::verify::VerifyBoundCx
• infer::region_constraints::MemberConstraint
• infer::region_constraints::RegionConstraintCollector
• infer::region_constraints::RegionConstraintData
• infer::region_constraints::RegionConstraintStorage
• infer::region_constraints::RegionSnapshot
• infer::region_constraints::RegionVariableInfo
• infer::region_constraints::TwoRegions
• infer::region_constraints::Verify
• infer::region_constraints::VerifyIfEq
• infer::region_constraints::leak_check::LeakCheck
• infer::region_constraints::leak_check::LeakCheckNode
• infer::region_constraints::leak_check::LeakCheckScc
• infer::region_constraints::leak_check::MiniGraph
• infer::region_constraints::leak_check::SccUniverse
• infer::relate::generalize::Generalization
• infer::relate::generalize::Generalizer
• infer::relate::lattice::LatticeOp
• infer::relate::solver_relating::SolverRelating
• infer::relate::type_relating::TypeRelating
• infer::resolve::FullTypeResolver
• infer::resolve::OpportunisticRegionResolver
• infer::resolve::OpportunisticVarResolver
• infer::snapshot::CombinedSnapshot
• infer::snapshot::VariableLengths
• infer::snapshot::fudge::InferenceFudger
• infer::snapshot::fudge::SnapshotVarData
• infer::snapshot::undo_log::InferCtxtUndoLogs
• infer::snapshot::undo_log::Snapshot
• infer::type_variable::TyVidEqKey
• infer::type_variable::TypeVariableData
• infer::type_variable::TypeVariableOrigin
• infer::type_variable::TypeVariableStorage
• infer::type_variable::TypeVariableTable
• traits::DerivedCause
• traits::IfExpressionCause
• traits::ImplDerivedCause
• traits::ImplSourceUserDefinedData
• traits::InternedObligationCauseCode
• traits::MatchExpressionArmCause
• traits::MismatchedProjectionTypes
• traits::Normalized
• traits::Obligation
• traits::ObligationCause
• traits::ProjectionCache
• traits::ProjectionCacheKey
• traits::ProjectionCacheStorage
• traits::SignatureMismatchData
• traits::UnifyReceiverContext
• traits::project::MismatchedProjectionTypes
• traits::project::Normalized
• traits::project::ProjectionCache
• traits::project::ProjectionCacheKey
• traits::project::ProjectionCacheStorage
• traits::query::CandidateStep
• traits::query::DropckConstraint
• traits::query::DropckOutlivesResult
• traits::query::MethodAutoderefBadTy
• traits::query::MethodAutoderefStepsResult
• traits::query::NoSolution
• traits::query::NormalizationResult
• traits::query::type_op::AscribeUserType
• traits::query::type_op::DropckOutlives
• traits::query::type_op::Eq
• traits::query::type_op::ImpliedOutlivesBounds
• traits::query::type_op::Normalize
• traits::query::type_op::ProvePredicate
• traits::query::type_op::Subtype
• traits::solve::ExternalConstraints
• traits::solve::ExternalConstraintsData
• traits::solve::NestedNormalizationGoals
• traits::solve::NoSolution
• traits::solve::PredefinedOpaques
• traits::solve::PredefinedOpaquesData
• traits::solve::Response
• traits::solve::inspect::CanonicalGoalEvaluation
• traits::solve::inspect::GoalEvaluation
• traits::solve::inspect::Probe
• traits::solve::inspect::State
• traits::specialization_graph::Ancestors
• traits::specialization_graph::Children
• traits::specialization_graph::Graph
• traits::specialization_graph::LeafDef
• traits::util::ClauseWithSupertraitSpan
• traits::util::Elaborator
• traits::util::FilterToTraits
• traits::util::PredicateSet

Enums

• infer::BoundRegionConversionTime
• infer::IntVarValue
• infer::NllRegionVariableOrigin
• infer::RegionResolutionError
• infer::RegionVariableOrigin
• infer::StructurallyRelateAliases
• infer::SubregionOrigin
• infer::TyOrConstInferVar
• infer::ValuePairs
• infer::at::DefineOpaqueTypes
• infer::canonical::CanonicalTyVarKind
• infer::canonical::CanonicalVarKind
• infer::canonical::Certainty
• infer::canonical::ir::AliasRelationDirection
• infer::canonical::ir::AliasTermKind
• infer::canonical::ir::AliasTyKind
• infer::canonical::ir::BoundConstness
• infer::canonical::ir::CanonicalTyVarKind
• infer::canonical::ir::CanonicalVarKind
• infer::canonical::ir::ClauseKind
• infer::canonical::ir::ClosureKind
• infer::canonical::ir::ConstKind
• infer::canonical::ir::DynKind
• infer::canonical::ir::ExistentialPredicate
• infer::canonical::ir::FloatTy
• infer::canonical::ir::FloatVarValue
• infer::canonical::ir::GenericArgKind
• infer::canonical::ir::ImplPolarity
• infer::canonical::ir::InferConst
• infer::canonical::ir::InferTy
• infer::canonical::ir::IntTy
• infer::canonical::ir::IntVarValue
• infer::canonical::ir::PredicateKind
• infer::canonical::ir::PredicatePolarity
• infer::canonical::ir::RegionKind
• infer::canonical::ir::TermKind
• infer::canonical::ir::TyKind
• infer::canonical::ir::TypingMode
• infer::canonical::ir::UintTy
• infer::canonical::ir::Variance
• infer::canonical::ir::data_structures::SsoHashMap
• infer::canonical::ir::error::TypeError
• infer::canonical::ir::fast_reject::SimplifiedType
• infer::canonical::ir::fast_reject::TreatParams
• infer::canonical::ir::lang_items::TraitSolverLangItem
• infer::canonical::ir::outlives::Component
• infer::canonical::ir::relate::StructurallyRelateAliases
• infer::canonical::ir::relate::VarianceDiagInfo
• infer::canonical::ir::relate::solver_relating::StructurallyRelateAliases
• infer::canonical::ir::relate::solver_relating::VarianceDiagInfo
• infer::canonical::ir::search_graph::PathKind
• infer::canonical::ir::search_graph::UsageKind
• infer::canonical::ir::solve::BuiltinImplSource
• infer::canonical::ir::solve::CandidateSource
• infer::canonical::ir::solve::Certainty
• infer::canonical::ir::solve::GoalSource
• infer::canonical::ir::solve::MaybeCause
• infer::canonical::ir::solve::Reveal
• infer::canonical::ir::solve::inspect::CanonicalGoalEvaluationKind
• infer::canonical::ir::solve::inspect::ProbeKind
• infer::canonical::ir::solve::inspect::ProbeStep
• infer::lexical_region_resolve::RegionResolutionError
• infer::lexical_region_resolve::VarValue
• infer::region_constraints::CombineMapType
• infer::region_constraints::Constraint
• infer::region_constraints::GenericKind
• infer::region_constraints::UndoLog
• infer::region_constraints::VerifyBound
• infer::relate::StructurallyRelateAliases
• infer::relate::VarianceDiagInfo
• infer::relate::lattice::LatticeOpKind
• infer::relate::solver_relating::StructurallyRelateAliases
• infer::relate::solver_relating::VarianceDiagInfo
• infer::snapshot::undo_log::UndoLog
• infer::type_variable::TypeVariableValue
• traits::BuiltinImplSource
• traits::CodegenObligationError
• traits::DynCompatibilityViolation
• traits::DynCompatibilityViolationSolution
• traits::EvaluationResult
• traits::ImplSource
• traits::IsConstable
• traits::MethodViolationCode
• traits::ObligationCauseCode
• traits::OverflowError
• traits::ProjectionCacheEntry
• traits::Reveal
• traits::ScrubbedTraitError
• traits::SelectionError
• traits::StatementAsExpression
• traits::WellFormedLoc
• traits::engine::ScrubbedTraitError
• traits::project::ProjectionCacheEntry
• traits::query::OutlivesBound
• traits::select::EvaluationResult
• traits::select::OverflowError
• traits::select::SelectionCandidate
• traits::solve::BuiltinImplSource
• traits::solve::Certainty
• traits::solve::GoalSource
• traits::solve::MaybeCause
• traits::solve::Reveal
• traits::solve::inspect::CanonicalGoalEvaluationKind
• traits::solve::inspect::ProbeKind
• traits::solve::inspect::ProbeStep
• traits::specialization_graph::Node
• traits::specialization_graph::OverlapMode

Traits

• infer::PredicateEmittingRelation
• infer::TyCtxtInferExt
• infer::at::ToTrace
• infer::canonical::CanonicalExt
• infer::canonical::canonicalizer::CanonicalizeMode
• infer::canonical::instantiate::CanonicalExt
• infer::canonical::ir::CollectAndApply
• infer::canonical::ir::InferCtxtLike
• infer::canonical::ir::Interner
• infer::canonical::ir::RefDecodable
• infer::canonical::ir::TyDecoder
• infer::canonical::ir::TyEncoder
• infer::canonical::ir::Upcast
• infer::canonical::ir::UpcastFrom
• infer::canonical::ir::codec::RefDecodable
• infer::canonical::ir::codec::TyDecoder
• infer::canonical::ir::codec::TyEncoder
• infer::canonical::ir::elaborate::Elaboratable
• infer::canonical::ir::fold::FallibleTypeFolder
• infer::canonical::ir::fold::TypeFoldable
• infer::canonical::ir::fold::TypeFolder
• infer::canonical::ir::fold::TypeSuperFoldable
• infer::canonical::ir::inherent::Abi
• infer::canonical::ir::inherent::AdtDef
• infer::canonical::ir::inherent::BoundExistentialPredicates
• infer::canonical::ir::inherent::BoundVarLike
• infer::canonical::ir::inherent::Clause
• infer::canonical::ir::inherent::Const
• infer::canonical::ir::inherent::DefId
• infer::canonical::ir::inherent::ExprConst
• infer::canonical::ir::inherent::Features
• infer::canonical::ir::inherent::GenericArg
• infer::canonical::ir::inherent::GenericArgs
• infer::canonical::ir::inherent::GenericsOf
• infer::canonical::ir::inherent::IntoKind
• infer::canonical::ir::inherent::ParamEnv
• infer::canonical::ir::inherent::ParamLike
• infer::canonical::ir::inherent::PlaceholderLike
• infer::canonical::ir::inherent::Predicate
• infer::canonical::ir::inherent::Region
• infer::canonical::ir::inherent::Safety
• infer::canonical::ir::inherent::SliceLike
• infer::canonical::ir::inherent::Span
• infer::canonical::ir::inherent::Term
• infer::canonical::ir::inherent::Ty
• infer::canonical::ir::inherent::Tys
• infer::canonical::ir::ir_print::IrPrint
• infer::canonical::ir::lift::Lift
• infer::canonical::ir::relate::Relate
• infer::canonical::ir::relate::TypeRelation
• infer::canonical::ir::relate::combine::PredicateEmittingRelation
• infer::canonical::ir::relate::solver_relating::Relate
• infer::canonical::ir::relate::solver_relating::RelateExt
• infer::canonical::ir::relate::solver_relating::TypeRelation
• infer::canonical::ir::search_graph::Cx
• infer::canonical::ir::search_graph::Delegate
• infer::canonical::ir::visit::Flags
• infer::canonical::ir::visit::TypeSuperVisitable
• infer::canonical::ir::visit::TypeVisitable
• infer::canonical::ir::visit::TypeVisitableExt
• infer::canonical::ir::visit::TypeVisitor
• infer::outlives::obligations::TypeOutlivesDelegate
• infer::relate::PredicateEmittingRelation
• infer::relate::Relate
• infer::relate::TypeRelation
• infer::relate::combine::PredicateEmittingRelation
• infer::relate::solver_relating::Relate
• infer::relate::solver_relating::RelateExt
• infer::relate::solver_relating::TypeRelation
• traits::FromSolverError
• traits::TraitEngine
• traits::engine::FromSolverError
• traits::engine::TraitEngine
• traits::util::Elaboratable

Macros

• infer::snapshot::undo_log::impl_from

Derive Macros

• infer::TypeFoldable
• infer::TypeVisitable

Functions

• infer::canonical::instantiate::instantiate_value
• infer::canonical::ir::data_structures::ensure_sufficient_stack
• infer::canonical::ir::debug_bound_var
• infer::canonical::ir::elaborate::elaborate
• infer::canonical::ir::elaborate::supertrait_def_ids
• infer::canonical::ir::elaborate::supertraits
• infer::canonical::ir::fast_reject::simplify_type
• infer::canonical::ir::fold::shift_region
• infer::canonical::ir::fold::shift_vars
• infer::canonical::ir::outlives::compute_alias_components_recursive
• infer::canonical::ir::outlives::push_outlives_components
• infer::canonical::ir::relate::combine::super_combine_consts
• infer::canonical::ir::relate::combine::super_combine_tys
• infer::canonical::ir::relate::relate_args_invariantly
• infer::canonical::ir::relate::relate_args_with_variances
• infer::canonical::ir::relate::solver_relating::relate_args_invariantly
• infer::canonical::ir::relate::solver_relating::relate_args_with_variances
• infer::canonical::ir::relate::solver_relating::structurally_relate_consts
• infer::canonical::ir::relate::solver_relating::structurally_relate_tys
• infer::canonical::ir::relate::structurally_relate_consts
• infer::canonical::ir::relate::structurally_relate_tys
• infer::canonical::query_response::make_query_region_constraints
• infer::lexical_region_resolve::resolve
• infer::outlives::explicit_outlives_bounds
• infer::outlives::test_type_match::can_match_erased_ty
• infer::outlives::test_type_match::extract_verify_if_eq
• infer::relate::combine::super_combine_consts
• infer::relate::combine::super_combine_tys
• infer::relate::relate_args_invariantly
• infer::relate::relate_args_with_variances
• infer::relate::solver_relating::relate_args_invariantly
• infer::relate::solver_relating::relate_args_with_variances
• infer::relate::solver_relating::structurally_relate_consts
• infer::relate::solver_relating::structurally_relate_tys
• infer::relate::structurally_relate_consts
• infer::relate::structurally_relate_tys
• infer::resolve::fully_resolve
• infer::snapshot::fudge::const_vars_since_snapshot
• infer::snapshot::fudge::vars_since_snapshot
• traits::specialization_graph::ancestors
• traits::util::anonymize_predicate
• traits::util::elaborate
• traits::util::supertrait_def_ids
• traits::util::supertraits
• traits::util::transitive_bounds_that_define_assoc_item

Type Aliases

• infer::FixupResult
• infer::InferResult
• infer::UnificationTable
• infer::canonical::Canonical
• infer::canonical::CanonicalQueryInput
• infer::canonical::CanonicalQueryResponse
• infer::canonical::CanonicalVarInfo
• infer::canonical::CanonicalVarInfos
• infer::canonical::CanonicalVarValues
• infer::canonical::QueryOutlivesConstraint
• infer::canonical::ir::data_structures::HashMap
• infer::canonical::ir::data_structures::HashSet
• infer::canonical::ir::data_structures::IndexMap
• infer::canonical::ir::data_structures::IndexSet
• infer::canonical::ir::relate::RelateResult
• infer::canonical::ir::relate::solver_relating::RelateResult
• infer::canonical::ir::solve::CanonicalInput
• infer::canonical::ir::solve::CanonicalResponse
• infer::canonical::ir::solve::QueryResult
• infer::canonical::ir::solve::inspect::CanonicalState
• infer::lexical_region_resolve::RegionGraph
• infer::opaque_types::OpaqueTypeMap
• infer::outlives::env::RegionBoundPairs
• infer::region_constraints::CombineMap
• infer::region_constraints::VarInfos
• infer::relate::RelateResult
• infer::relate::solver_relating::RelateResult
• traits::EvaluationCache
• traits::NormalizedTerm
• traits::ObligationInspector
• traits::PolyTraitObligation
• traits::PredicateObligation
• traits::PredicateObligations
• traits::Selection
• traits::SelectionCache
• traits::SelectionResult
• traits::TraitObligation
• traits::project::NormalizedTerm
• traits::project::UndoLog
• traits::query::CanonicalAliasGoal
• traits::query::CanonicalDropckOutlivesGoal
• traits::query::CanonicalImpliedOutlivesBoundsGoal
• traits::query::CanonicalPredicateGoal
• traits::query::CanonicalTyGoal
• traits::query::CanonicalTypeOpAscribeUserTypeGoal
• traits::query::CanonicalTypeOpEqGoal
• traits::query::CanonicalTypeOpNormalizeGoal
• traits::query::CanonicalTypeOpProvePredicateGoal
• traits::query::CanonicalTypeOpSubtypeGoal
• traits::select::EvaluationCache
• traits::select::SelectionCache
• traits::solve::CandidateSource
• traits::solve::CanonicalInput
• traits::solve::CanonicalResponse
• traits::solve::Goal
• traits::solve::QueryInput
• traits::solve::QueryResult
• traits::solve::inspect::CanonicalState

Statics

• DEFAULT_LOCALE_RESOURCE

Constants

• infer::canonical::ir::INNERMOST
• infer::canonical::ir::SHORTHAND_OFFSET
• infer::canonical::ir::codec::SHORTHAND_OFFSET