List of all items
Structs
- errors::OpaqueHiddenTypeDiag
- infer::CombineFields
- 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::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::EffectVid
- 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::IntVid
- 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::Lrc
- infer::canonical::ir::data_structures::SsoHashSet
- infer::canonical::ir::elaborate::Elaborator
- infer::canonical::ir::elaborate::FilterToTraits
- infer::canonical::ir::error::ExpectedFound
- infer::canonical::ir::fast_reject::DeepRejectCtxt
- 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::CanonicalGoalEvaluationStep
- 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::OpaqueTypeStorage
- infer::opaque_types::OpaqueTypeTable
- infer::opaque_types::table::OpaqueTypeStorage
- infer::opaque_types::table::OpaqueTypeTable
- infer::outlives::env::OutlivesEnvironment
- infer::outlives::env::OutlivesEnvironmentBuilder
- 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::CombineFields
- infer::relate::combine::CombineFields
- infer::relate::generalize::Generalization
- infer::relate::generalize::Generalizer
- infer::relate::glb::Glb
- infer::relate::lub::Lub
- infer::relate::type_relating::TypeRelating
- infer::resolve::FullTypeResolver
- infer::resolve::OpportunisticRegionResolver
- infer::resolve::OpportunisticVarResolver
- infer::snapshot::CombinedSnapshot
- infer::snapshot::fudge::InferenceFudger
- infer::snapshot::fudge::VariableLengths
- 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::Eq
- 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::CanonicalGoalEvaluationStep
- 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::Elaborator
- traits::util::FilterToTraits
- traits::util::PredicateSet
Enums
- infer::BoundRegionConversionTime
- infer::FixupError
- 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::EffectKind
- 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::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::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::SolverMode
- 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::opaque_types::UseKind
- 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::combine::VarianceDiagInfo
- infer::snapshot::undo_log::UndoLog
- infer::type_variable::TypeVariableValue
- traits::BuiltinImplSource
- traits::CodegenObligationError
- traits::EvaluationResult
- traits::ImplSource
- traits::IsConstable
- traits::MethodViolationCode
- traits::ObjectSafetyViolation
- traits::ObjectSafetyViolationSolution
- 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::SolverMode
- 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::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::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::combine::Relate
- infer::relate::combine::TypeRelation
- infer::relate::lattice::LatticeDir
- traits::FromSolverError
- traits::TraitEngine
- traits::engine::FromSolverError
- traits::engine::TraitEngine
- traits::util::Elaboratable
Macros
Derive Macros
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::relate_args_invariantly
- infer::canonical::ir::relate::relate_args_with_variances
- 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::relate_args_invariantly
- infer::relate::combine::relate_args_with_variances
- infer::relate::combine::structurally_relate_consts
- infer::relate::combine::structurally_relate_tys
- infer::relate::lattice::super_lattice_tys
- infer::relate::relate_args_invariantly
- infer::relate::relate_args_with_variances
- infer::relate::structurally_relate_consts
- infer::relate::structurally_relate_tys
- infer::replace_param_and_infer_args_with_placeholder
- 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::UnitResult
- infer::canonical::Canonical
- 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::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
- traits::EvaluationCache
- traits::NormalizedTerm
- traits::ObligationInspector
- traits::PolyTraitObligation
- traits::PredicateObligation
- traits::Selection
- traits::SelectionCache
- traits::SelectionResult
- traits::TraitObligation
- traits::project::NormalizedTerm
- traits::project::UndoLog
- traits::query::CanonicalAliasGoal
- 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