List of all items

Structs

• error_reporting::TypeErrCtxt
• error_reporting::infer::ObligationCauseAsDiagArg
• error_reporting::infer::SameTypeModuloInfer
• error_reporting::infer::need_type_info::ClosureEraser
• error_reporting::infer::need_type_info::FindInferSourceVisitor
• error_reporting::infer::need_type_info::InferSource
• error_reporting::infer::need_type_info::InferenceDiagnosticsData
• error_reporting::infer::need_type_info::InferenceDiagnosticsParentData
• error_reporting::infer::need_type_info::InsertableGenericArgs
• error_reporting::infer::nice_region_error::HirTraitObjectVisitor
• error_reporting::infer::nice_region_error::NiceRegionError
• error_reporting::infer::nice_region_error::TraitObjectVisitor
• error_reporting::infer::nice_region_error::find_anon_type::FindNestedTypeVisitor
• error_reporting::infer::nice_region_error::find_anon_type::TyPathVisitor
• error_reporting::infer::nice_region_error::placeholder_error::Highlighted
• error_reporting::infer::nice_region_error::static_impl_trait::HirTraitObjectVisitor
• error_reporting::infer::nice_region_error::static_impl_trait::TraitObjectVisitor
• error_reporting::infer::nice_region_error::trait_impl_difference::TypeParamSpanVisitor
• error_reporting::infer::nice_region_error::util::AnonymousParamInfo
• error_reporting::infer::sub_relations::SubId
• error_reporting::infer::sub_relations::SubRelations
• error_reporting::traits::FindExprBySpan
• error_reporting::traits::ImplCandidate
• error_reporting::traits::UnsatisfiedConst
• error_reporting::traits::ambiguity::HasNumericInferVisitor
• error_reporting::traits::on_unimplemented::DisallowedPositionalArgument
• error_reporting::traits::on_unimplemented::IgnoredDiagnosticOption
• error_reporting::traits::on_unimplemented::InvalidFormatSpecifier
• error_reporting::traits::on_unimplemented::MalformedOnUnimplementedAttrLint
• error_reporting::traits::on_unimplemented::MissingOptionsForOnUnimplementedAttr
• error_reporting::traits::on_unimplemented::OnUnimplementedDirective
• error_reporting::traits::on_unimplemented::OnUnimplementedFormatString
• error_reporting::traits::on_unimplemented::OnUnimplementedNote
• error_reporting::traits::on_unimplemented::UnknownFormatParameterForOnUnimplementedAttr
• error_reporting::traits::on_unimplemented::WrappedParserError
• error_reporting::traits::suggestions::AwaitsVisitor
• error_reporting::traits::suggestions::CoroutineData
• error_reporting::traits::suggestions::FindTypeParam
• error_reporting::traits::suggestions::ReplaceImplTraitFolder
• error_reporting::traits::suggestions::ReplaceImplTraitVisitor
• error_reporting::traits::suggestions::ReturnsVisitor
• error_reporting::traits::suggestions::SelfVisitor
• errors::AddLifetimeParamsSuggestion
• errors::AddPreciseCapturingAndParams
• errors::AddPreciseCapturingForOvercapture
• errors::AmbiguousImpl
• errors::AmbiguousReturn
• errors::AnnotationRequired
• errors::AsyncClosureNotFn
• errors::ButCallingIntroduces
• errors::ButNeedsToSatisfy
• errors::ClosureFnMutLabel
• errors::ClosureFnOnceLabel
• errors::ClosureKindMismatch
• errors::ConsiderBorrowingParamHelp
• errors::DumpVTableEntries
• errors::DynTraitConstraintSuggestion
• errors::EmptyOnClauseInOnUnimplemented
• errors::FnConsiderCasting
• errors::FnItemsAreDistinct
• errors::FnUniqTypes
• errors::FulfillReqLifetime
• errors::InferenceBadError
• errors::InherentProjectionNormalizationOverflow
• errors::IntroducesStaticBecauseUnmetLifetimeReq
• errors::InvalidOnClauseInOnUnimplemented
• errors::LfBoundNotSatisfied
• errors::LifetimeMismatch
• errors::MismatchedStaticLifetime
• errors::MoreTargeted
• errors::NegativePositiveConflict
• errors::NoValueInOnUnimplemented
• errors::OpaqueCapturesLifetime
• errors::OutlivesBound
• errors::OutlivesContent
• errors::RefLongerThanData
• errors::RelationshipHelp
• errors::ReqIntroducedLocations
• errors::SuggestTuplePatternMany
• errors::SuggestTuplePatternOne
• errors::TraitImplDiff
• errors::TraitPlaceholderMismatch
• errors::UnableToConstructConstantValue
• errors::note_and_explain::DescriptionCtx
• errors::note_and_explain::RegionExplanation
• infer::FixupError
• infer::InferCtxt
• infer::InferCtxtBuilder
• infer::InferCtxtInner
• infer::InferOk
• infer::RegionObligation
• infer::TypeFreshener
• infer::TypeTrace
• infer::at::At
• infer::canonical::CanonicalParamEnvCache
• infer::canonical::OriginalQueryValues
• infer::canonical::QueryRegionConstraints
• infer::canonical::QueryResponse
• 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::outlives::env::OutlivesEnvironment
• infer::outlives::for_liveness::FreeRegionsVisitor
• infer::outlives::obligations::TypeOutlives
• infer::region_constraints::MemberConstraint
• infer::region_constraints::RegionConstraintCollector
• infer::region_constraints::RegionConstraintData
• infer::region_constraints::RegionConstraintStorage
• infer::region_constraints::RegionVariableInfo
• infer::region_constraints::Verify
• infer::region_constraints::VerifyIfEq
• infer::resolve::OpportunisticRegionResolver
• infer::resolve::OpportunisticVarResolver
• solve::EvalCtxt
• solve::ExternalConstraintsData
• solve::FulfillmentCtxt
• solve::Goal
• solve::NestedNormalizationGoals
• solve::NoSolution
• solve::PredefinedOpaquesData
• solve::QueryInput
• solve::Response
• solve::delegate::SolverDelegate
• solve::fulfill::BestObligation
• solve::fulfill::FulfillmentCtxt
• solve::fulfill::ObligationStorage
• solve::inspect::CanonicalGoalEvaluation
• solve::inspect::GoalEvaluation
• solve::inspect::InspectCandidate
• solve::inspect::InspectConfig
• solve::inspect::InspectGoal
• solve::inspect::Probe
• solve::inspect::State
• solve::inspect::analyse::InspectCandidate
• solve::inspect::analyse::InspectConfig
• solve::inspect::analyse::InspectGoal
• solve::inspect::analyse::NormalizesToTermHack
• solve::normalize::DeeplyNormalizeForDiagnosticsFolder
• solve::normalize::NormalizationFolder
• solve::select::Select
• traits::BoundVarReplacer
• traits::DerivedCause
• traits::FulfillmentContext
• traits::FulfillmentError
• traits::FutureCompatOverlapError
• traits::IfExpressionCause
• traits::ImplDerivedCause
• traits::ImplSourceUserDefinedData
• traits::InternedObligationCauseCode
• traits::MatchExpressionArmCause
• traits::MismatchedProjectionTypes
• traits::Normalized
• traits::Obligation
• traits::ObligationCause
• traits::ObligationCtxt
• traits::OldSolverError
• traits::OverlapError
• traits::OverlapResult
• traits::PendingPredicateObligation
• traits::PlaceholderReplacer
• traits::ProjectionCache
• traits::ProjectionCacheKey
• traits::ProjectionCacheStorage
• traits::SelectionContext
• traits::SignatureMismatchData
• traits::TraitAliasExpander
• traits::TraitAliasExpansionInfo
• traits::UncoveredTyParams
• traits::UnifyReceiverContext
• traits::auto_trait::AutoTraitFinder
• traits::auto_trait::AutoTraitInfo
• traits::auto_trait::RegionDeps
• traits::coherence::AmbiguityCausesVisitor
• traits::coherence::OverlapResult
• traits::coherence::UncoveredTyParams
• traits::dyn_compatibility::EraseEscapingBoundRegions
• traits::dyn_compatibility::IllegalSelfTypeVisitor
• traits::engine::ObligationCtxt
• traits::fulfill::FulfillProcessor
• traits::fulfill::FulfillmentContext
• traits::fulfill::OldSolverError
• traits::fulfill::PendingPredicateObligation
• traits::normalize::AssocTypeNormalizer
• traits::project::InProgress
• traits::project::Progress
• traits::query::CandidateStep
• traits::query::DropckConstraint
• traits::query::DropckOutlivesResult
• traits::query::MethodAutoderefBadTy
• traits::query::MethodAutoderefStepsResult
• traits::query::NoSolution
• traits::query::NormalizationResult
• traits::query::method_autoderef::CandidateStep
• traits::query::method_autoderef::MethodAutoderefBadTy
• traits::query::method_autoderef::MethodAutoderefStepsResult
• traits::query::normalize::MaxEscapingBoundVarVisitor
• traits::query::normalize::NormalizationResult
• traits::query::normalize::QueryNormalizer
• 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::query::type_op::TypeOpOutput
• traits::query::type_op::ascribe_user_type::AscribeUserType
• traits::query::type_op::custom::CustomTypeOp
• traits::query::type_op::normalize::Normalize
• traits::query::type_op::prove_predicate::ProvePredicate
• traits::select::EvaluatedCandidate
• traits::select::ProvisionalEvaluation
• traits::select::ProvisionalEvaluationCache
• traits::select::SelectionCandidateSet
• traits::select::SelectionContext
• traits::select::TraitObligationStack
• traits::select::TraitObligationStackList
• traits::select::_match::MatchAgainstFreshVars
• 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::FutureCompatOverlapError
• traits::specialization_graph::Graph
• traits::specialization_graph::LeafDef
• traits::specialize::OverlapError
• traits::specialize::specialization_graph::Ancestors
• traits::specialize::specialization_graph::Children
• traits::specialize::specialization_graph::FutureCompatOverlapError
• traits::specialize::specialization_graph::Graph
• traits::specialize::specialization_graph::LeafDef
• traits::util::BoundVarReplacer
• traits::util::ClauseWithSupertraitSpan
• traits::util::Elaborator
• traits::util::FilterToTraits
• traits::util::PlaceholderReplacer
• traits::util::PredicateSet
• traits::util::TraitAliasExpander
• traits::util::TraitAliasExpansionInfo
• traits::wf::WfPredicates

Enums

• error_reporting::infer::FailureCode
• error_reporting::infer::TyCategory
• error_reporting::infer::need_type_info::InferSourceKind
• error_reporting::infer::need_type_info::TypeAnnotationNeeded
• error_reporting::infer::need_type_info::UnderspecifiedArgKind
• error_reporting::infer::suggest::SuggestAsRefKind
• error_reporting::traits::ArgKind
• error_reporting::traits::CandidateSimilarity
• error_reporting::traits::DefIdOrName
• error_reporting::traits::GetSafeTransmuteErrorAndReason
• error_reporting::traits::OverflowCause
• error_reporting::traits::ambiguity::CandidateSource
• error_reporting::traits::on_unimplemented::AppendConstMessage
• error_reporting::traits::overflow::OverflowCause
• error_reporting::traits::suggestions::CoroutineInteriorOrUpvar
• errors::ActualImplExpectedKind
• errors::ActualImplExpectedLifetimeKind
• errors::ActualImplExplNotes
• errors::AddPreciseCapturing
• errors::AdjustSignatureBorrow
• errors::ConsiderAddingAwait
• errors::DoesNotOutliveStaticFromImpl
• errors::ExplicitLifetimeRequired
• errors::FunctionPointerSuggestion
• errors::ImplicitStaticLifetimeSubdiag
• errors::LifetimeMismatchLabels
• errors::ObligationCauseFailureCode
• errors::PlaceholderRelationLfNotSatisfied
• errors::RegionOriginNote
• errors::SourceKindMultiSuggestion
• errors::SourceKindSubdiag
• errors::SuggestAccessingField
• errors::SuggestRemoveSemiOrReturnBinding
• errors::TyOrSig
• errors::TypeErrorAdditionalDiags
• errors::WhereClauseSuggestions
• errors::note_and_explain::PrefixKind
• errors::note_and_explain::SuffixKind
• infer::BoundRegionConversionTime
• infer::DefineOpaqueTypes
• 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::region_constraints::Constraint
• infer::region_constraints::GenericKind
• infer::region_constraints::VerifyBound
• infer::relate::StructurallyRelateAliases
• infer::relate::VarianceDiagInfo
• solve::BuiltinImplSource
• solve::CandidateSource
• solve::Certainty
• solve::GenerateProofTree
• solve::GoalSource
• solve::HasChanged
• solve::MaybeCause
• solve::NextSolverError
• solve::Reveal
• solve::fulfill::ChildMode
• solve::fulfill::NextSolverError
• solve::inspect::CanonicalGoalEvaluationKind
• solve::inspect::ProbeKind
• solve::inspect::ProbeStep
• traits::BuiltinImplSource
• traits::CodegenObligationError
• traits::DynCompatibilityViolation
• traits::DynCompatibilityViolationSolution
• traits::EvaluateConstErr
• traits::EvaluationResult
• traits::FulfillmentErrorCode
• traits::FutureCompatOverlapErrorKind
• traits::ImplSource
• traits::InCrate
• traits::IntercrateAmbiguityCause
• traits::IsConstable
• traits::IsFirstInputType
• traits::MethodViolationCode
• traits::ObligationCauseCode
• traits::OrphanCheckErr
• traits::OrphanCheckMode
• traits::OverflowError
• traits::ProjectionCacheEntry
• traits::Reveal
• traits::ScrubbedTraitError
• traits::SelectionError
• traits::SkipLeakCheck
• traits::StatementAsExpression
• traits::TraitQueryMode
• traits::WellFormedLoc
• traits::auto_trait::AutoTraitResult
• traits::auto_trait::RegionTarget
• traits::coherence::Conflict
• traits::coherence::InCrate
• traits::coherence::IntersectionHasImpossibleObligations
• traits::coherence::IsFirstInputType
• traits::coherence::OrphanCheckErr
• traits::coherence::OrphanCheckMode
• traits::coherence::TrackAmbiguityCauses
• traits::dyn_compatibility::AllowSelfProjections
• traits::dyn_compatibility::DynCompatibilityViolation
• traits::effects::EvaluationFailure
• traits::misc::ConstParamTyImplementationError
• traits::misc::CopyImplementationError
• traits::misc::InfringingFieldsReason
• traits::outlives_bounds::OutlivesBound
• traits::project::ProjectAndUnifyResult
• traits::project::Projected
• traits::project::ProjectionCandidate
• traits::project::ProjectionCandidateSet
• traits::project::ProjectionError
• traits::project::Reveal
• traits::query::OutlivesBound
• traits::select::BuiltinImplConditions
• traits::select::DropVictim
• traits::select::EvaluationResult
• traits::select::IntercrateAmbiguityCause
• traits::select::OverflowError
• traits::select::ProjectionMatchesProjection
• 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::FutureCompatOverlapErrorKind
• traits::specialization_graph::Node
• traits::specialization_graph::OverlapMode
• traits::specialize::specialization_graph::FutureCompatOverlapErrorKind
• traits::specialize::specialization_graph::Inserted
• traits::specialize::specialization_graph::Node
• traits::specialize::specialization_graph::OverlapMode
• traits::specialize::specialization_graph::PotentialSiblings
• traits::util::TupleArgumentsFlag
• traits::vtable::VtblSegment
• traits::wf::Elaborate

Traits

• error_reporting::InferCtxtErrorExt
• error_reporting::infer::ObligationCauseExt
• error_reporting::traits::suggestions::NextTypeParamName
• infer::InferCtxtBuilderExt
• infer::InferCtxtExt
• infer::PredicateEmittingRelation
• infer::TyCtxtInferExt
• infer::at::ToTrace
• infer::canonical::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
• regions::InferCtxtRegionExt
• solve::InferCtxtSelectExt
• solve::SolverDelegateEvalExt
• solve::inspect::ProofTreeInferCtxtExt
• solve::inspect::ProofTreeVisitor
• solve::inspect::analyse::ProofTreeInferCtxtExt
• solve::inspect::analyse::ProofTreeVisitor
• solve::select::InferCtxtSelectExt
• traits::FromSolverError
• traits::StructurallyNormalizeExt
• traits::TraitEngine
• traits::TraitEngineExt
• traits::engine::TraitEngineExt
• traits::normalize::NormalizeExt
• traits::outlives_bounds::InferCtxtExt
• traits::project::ProjectionCacheKeyExt
• traits::query::evaluate_obligation::InferCtxtExt
• traits::query::normalize::QueryNormalizeExt
• traits::query::type_op::QueryTypeOp
• traits::query::type_op::TypeOp
• traits::query::type_op::normalize::Normalizable
• traits::specialization_graph::GraphExt
• traits::specialize::specialization_graph::ChildrenExt
• traits::specialize::specialization_graph::GraphExt
• traits::structural_normalize::StructurallyNormalizeExt
• traits::util::Elaboratable

Derive Macros

• infer::TypeFoldable
• infer::TypeVisitable

Functions

• error_reporting::infer::escape_literal
• error_reporting::infer::need_type_info::closure_as_fn_str
• error_reporting::infer::need_type_info::fmt_printer
• error_reporting::infer::need_type_info::ty_to_string
• error_reporting::infer::nice_region_error::different_lifetimes::suggest_adding_lifetime_params
• error_reporting::infer::nice_region_error::find_anon_type::find_anon_type
• error_reporting::infer::nice_region_error::find_anon_type::find_component_for_bound_region
• error_reporting::infer::nice_region_error::find_param_with_region
• error_reporting::infer::nice_region_error::static_impl_trait::make_elided_region_spans_suggs
• error_reporting::infer::nice_region_error::static_impl_trait::suggest_new_region_bound
• error_reporting::infer::nice_region_error::suggest_adding_lifetime_params
• error_reporting::infer::nice_region_error::suggest_new_region_bound
• error_reporting::infer::nice_region_error::util::find_param_with_region
• error_reporting::infer::region::emit_msg_span
• error_reporting::infer::region::explain_free_region
• error_reporting::infer::region::label_msg_span
• error_reporting::infer::region::msg_span_from_named_region
• error_reporting::infer::region::note_and_explain_region
• error_reporting::infer::region::suggest_precise_capturing
• error_reporting::infer::region::unexpected_hidden_region_diagnostic
• error_reporting::traits::ambiguity::compute_applicable_impls_for_diagnostics
• error_reporting::traits::overflow::suggest_new_overflow_limit
• error_reporting::traits::report_dyn_incompatibility
• error_reporting::traits::suggest_new_overflow_limit
• error_reporting::traits::suggestions::get_deref_type_and_refs
• error_reporting::traits::suggestions::get_explanation_based_on_obligation
• error_reporting::traits::suggestions::hint_missing_borrow
• error_reporting::traits::suggestions::point_at_assoc_type_restriction
• error_reporting::traits::suggestions::predicate_constraint
• error_reporting::traits::suggestions::suggest_desugaring_async_fn_to_impl_future_in_trait
• error_reporting::traits::suggestions::suggest_restriction
• error_reporting::traits::to_pretty_impl_header
• errors::impl_trait_overcapture_suggestion
• 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::outlives::explicit_outlives_bounds
• infer::outlives::test_type_match::extract_verify_if_eq
• infer::relate::relate_args_invariantly
• infer::relate::relate_args_with_variances
• infer::relate::structurally_relate_consts
• infer::relate::structurally_relate_tys
• infer::resolve::fully_resolve
• solve::deeply_normalize
• solve::deeply_normalize_with_skipped_universes
• solve::fulfill::derive_cause
• solve::fulfill::find_best_leaf_obligation
• solve::fulfill::fulfillment_error_for_no_solution
• solve::fulfill::fulfillment_error_for_overflow
• solve::fulfill::fulfillment_error_for_stalled
• solve::inspect::instantiate_canonical_state
• solve::normalize::deeply_normalize
• solve::normalize::deeply_normalize_for_diagnostics
• solve::normalize::deeply_normalize_with_skipped_universes
• solve::select::candidate_should_be_dropped_in_favor_of
• solve::select::to_selection
• traits::add_placeholder_note
• traits::coherence::add_placeholder_note
• traits::coherence::compute_intercrate_ambiguity_causes
• traits::coherence::equate_impl_headers
• traits::coherence::fresh_impl_header
• traits::coherence::fresh_impl_header_normalized
• traits::coherence::impl_intersection_has_impossible_obligation
• traits::coherence::impl_intersection_has_negative_obligation
• traits::coherence::orphan_check_trait_ref
• traits::coherence::overlap
• traits::coherence::overlapping_impls
• traits::coherence::plug_infer_with_placeholders
• traits::coherence::search_ambiguity_causes
• traits::coherence::suggest_increasing_recursion_limit
• traits::coherence::trait_ref_is_knowable
• traits::coherence::trait_ref_is_local_or_fundamental
• traits::coherence::try_prove_negated_where_clause
• traits::const_evaluatable::is_const_evaluatable
• traits::const_evaluatable::satisfied_from_param_env
• traits::do_normalize_predicates
• traits::dyn_compatibility::bounds_reference_self
• traits::dyn_compatibility::check_receiver_correct
• traits::dyn_compatibility::contains_illegal_impl_trait_in_trait
• traits::dyn_compatibility::contains_illegal_self_type_reference
• traits::dyn_compatibility::dyn_compatibility_violations
• traits::dyn_compatibility::dyn_compatibility_violations_for_assoc_item
• traits::dyn_compatibility::dyn_compatibility_violations_for_trait
• traits::dyn_compatibility::generics_require_sized_self
• traits::dyn_compatibility::get_sized_bounds
• traits::dyn_compatibility::hir_ty_lowering_dyn_compatibility_violations
• traits::dyn_compatibility::is_dyn_compatible
• traits::dyn_compatibility::is_vtable_safe_method
• traits::dyn_compatibility::object_ty_for_trait
• traits::dyn_compatibility::predicate_references_self
• traits::dyn_compatibility::predicates_reference_self
• traits::dyn_compatibility::provide
• traits::dyn_compatibility::receiver_for_self_ty
• traits::dyn_compatibility::receiver_is_dispatchable
• traits::dyn_compatibility::sized_trait_bound_spans
• traits::dyn_compatibility::super_predicates_have_non_lifetime_binders
• traits::dyn_compatibility::trait_has_sized_self
• traits::dyn_compatibility::virtual_call_violations_for_method
• traits::dyn_compatibility_violations_for_assoc_item
• traits::effects::evaluate_host_effect_from_bounds
• traits::effects::evaluate_host_effect_from_selection_candiate
• traits::effects::evaluate_host_effect_obligation
• traits::effects::match_candidate
• traits::elaborate
• traits::evaluate_const
• traits::expand_trait_aliases
• traits::fulfill::args_infer_vars
• traits::fulfill::mk_pending
• traits::hir_ty_lowering_dyn_compatibility_violations
• traits::impl_item_is_final
• traits::impossible_predicates
• traits::instantiate_and_check_impossible_predicates
• traits::is_impossible_associated_item
• traits::is_vtable_safe_method
• traits::misc::all_fields_implement_trait
• traits::misc::type_allowed_to_implement_const_param_ty
• traits::misc::type_allowed_to_implement_copy
• traits::normalize::needs_normalization
• traits::normalize::normalize_with_depth
• traits::normalize::normalize_with_depth_to
• traits::normalize_param_env_or_error
• traits::orphan_check_trait_ref
• traits::outlives_bounds::implied_outlives_bounds
• traits::overlapping_impls
• traits::pred_known_to_hold_modulo_regions
• traits::predicates_for_generics
• traits::project::assemble_candidates_from_impls
• traits::project::assemble_candidates_from_object_ty
• traits::project::assemble_candidates_from_param_env
• traits::project::assemble_candidates_from_predicates
• traits::project::assemble_candidates_from_trait_def
• traits::project::assoc_ty_own_obligations
• traits::project::compute_inherent_assoc_ty_args
• traits::project::confirm_async_closure_candidate
• traits::project::confirm_async_fn_kind_helper_candidate
• traits::project::confirm_async_iterator_candidate
• traits::project::confirm_builtin_candidate
• traits::project::confirm_callable_candidate
• traits::project::confirm_candidate
• traits::project::confirm_closure_candidate
• traits::project::confirm_coroutine_candidate
• traits::project::confirm_fn_pointer_candidate
• traits::project::confirm_future_candidate
• traits::project::confirm_impl_candidate
• traits::project::confirm_iterator_candidate
• traits::project::confirm_param_env_candidate
• traits::project::confirm_select_candidate
• traits::project::normalize_inherent_projection
• traits::project::normalize_projection_ty
• traits::project::normalize_to_error
• traits::project::opt_normalize_projection_term
• traits::project::poly_project_and_unify_term
• traits::project::project
• traits::project::project_and_unify_term
• traits::provide
• traits::query::dropck_outlives::compute_dropck_outlives_inner
• traits::query::dropck_outlives::dtorck_constraint_for_ty_inner
• traits::query::dropck_outlives::trivial_dropck_outlives
• traits::query::type_op::ascribe_user_type::relate_mir_and_user_args
• traits::query::type_op::ascribe_user_type::relate_mir_and_user_ty
• traits::query::type_op::ascribe_user_type::type_op_ascribe_user_type_with_span
• traits::query::type_op::custom::scrape_region_constraints
• traits::query::type_op::implied_outlives_bounds::compute_implied_outlives_bounds_compat_inner
• traits::query::type_op::implied_outlives_bounds::compute_implied_outlives_bounds_inner
• traits::query::type_op::implied_outlives_bounds::implied_bounds_from_components
• traits::replace_param_and_infer_args_with_placeholder
• traits::select::bind_coroutine_hidden_types_above
• traits::specialization_graph::ancestors
• traits::specialize::fulfill_implication
• traits::specialize::report_conflicting_impls
• traits::specialize::report_negative_positive_conflict
• traits::specialize::report_overlap_conflict
• traits::specialize::specialization_enabled_in
• traits::specialize::specialization_graph::ancestors
• traits::specialize::specialization_graph::assoc_def
• traits::specialize::specialization_graph::filtered_children
• traits::specialize::specialization_graph::iter_children
• traits::specialize::specialization_graph_provider
• traits::specialize::specializes
• traits::specialize::translate_args
• traits::specialize::translate_args_with_cause
• traits::supertraits
• traits::transitive_bounds_that_define_assoc_item
• traits::translate_args
• traits::translate_args_with_cause
• traits::try_evaluate_const
• traits::type_known_to_meet_bound_modulo_regions
• traits::upcast_choices
• traits::util::anonymize_predicate
• traits::util::async_iterator_trait_ref_and_outputs
• traits::util::closure_trait_ref_and_return_type
• traits::util::coroutine_trait_ref_and_outputs
• traits::util::elaborate
• traits::util::expand_trait_aliases
• traits::util::future_trait_ref_and_outputs
• traits::util::impl_item_is_final
• traits::util::impl_subject_and_oblig
• traits::util::iterator_trait_ref_and_outputs
• traits::util::supertrait_def_ids
• traits::util::supertraits
• traits::util::transitive_bounds_that_define_assoc_item
• traits::util::upcast_choices
• traits::util::with_replaced_escaping_bound_vars
• traits::vtable::dump_vtable_entries
• traits::vtable::first_method_vtable_slot
• traits::vtable::has_own_existential_vtable_entries
• traits::vtable::maybe_iter
• traits::vtable::own_existential_vtable_entries
• traits::vtable::own_existential_vtable_entries_iter
• traits::vtable::prepare_vtable_segments
• traits::vtable::prepare_vtable_segments_inner
• traits::vtable::provide
• traits::vtable::supertrait_vtable_slot
• traits::vtable::trait_refs_are_compatible
• traits::vtable::vtable_entries
• traits::wf::clause_obligations
• traits::wf::extend_cause_with_original_assoc_item_obligation
• traits::wf::object_region_bounds
• traits::wf::obligations
• traits::wf::required_region_bounds
• traits::wf::trait_obligations
• traits::wf::unnormalized_obligations
• traits::with_replaced_escaping_bound_vars

Type Aliases

• infer::InferResult
• 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::outlives::env::RegionBoundPairs
• infer::region_constraints::VarInfos
• infer::relate::RelateResult
• solve::CanonicalInput
• solve::CanonicalResponse
• solve::QueryResult
• solve::inspect::CanonicalState
• traits::EvaluationCache
• traits::NormalizedTerm
• traits::ObligationInspector
• traits::PolyTraitObligation
• traits::PredicateObligation
• traits::PredicateObligations
• traits::Selection
• traits::SelectionCache
• traits::SelectionResult
• traits::TraitObligation
• traits::effects::HostEffectObligation
• traits::fulfill::PendingPredicateObligations
• traits::outlives_bounds::Bounds
• traits::outlives_bounds::BoundsCompat
• traits::project::PolyProjectionObligation
• traits::project::ProjectionObligation
• traits::project::ProjectionTermObligation
• 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
• error_reporting::traits::on_unimplemented::ALLOWED_FORMAT_SYMBOLS

Constants

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